at least as big as y?
True
Let v be (-4 - (-8 - -3))*0. Suppose j + v*o = 2*o - 5, 0 = 5*j - 4*o + 7. Let z be ((-3)/(-6)*j)/((-2)/(-4)). Is z greater than -43?
True
Let b be (-13)/1 + (-120)/20. Let k be ((11 + -9)/4)/((-2)/72). Which is smaller: b or k?
b
Let v = -38254 + 53614. Let p = v + -16174078/1053. Is 0 at least as big as p?
False
Let u = -75.8 - 0.2. Let s = -75.91857 + -0.07143. Let l = u - s. Which is smaller: l or 4?
l
Let a = -2/520987 - -27903542743/2604935. Let s = 10676 - a. Which is smaller: s or -37?
-37
Let n = -7988/5 + 7196/5. Which is greater: 2 or n?
2
Let g = -1864 - -1867. Which is smaller: g or -1?
-1
Suppose 72*j + 173*j + 4245 = 15025. Suppose -2*h - 54 = -2*l + 40, h = -3*l + 125. Which is smaller: l or j?
l
Suppose -7*a = 19941 - 61416. Let s be a/(-1955) + (-4)/(-34) + 1. Is -3 at least as big as s?
False
Let i = 388 - 345. Let y be 26 - (1 + -4 + 2). Let j = i - y. Which is smaller: j or 15?
15
Suppose 4*v - 3*r - 3825 = 0, 9*v + 2*r = 8*v + 959. Are v and 957 non-equal?
False
Let m(u) = -3*u**2 - 20*u + 61. Let o(j) = -2*j**2 - 21*j + 61. Let v(y) = -3*m(y) + 4*o(y). Let t be v(21). Which is smaller: t or -3?
-3
Let b = -1162.3 - -381.4. Let f = -781 - b. Which is bigger: 157 or f?
157
Let k be (1 - 0)/((-4753)/(-291)). Is 1 <= k?
False
Let x(z) = -z**3 + 6*z**2 + 27*z + 39. Let o be x(9). Suppose -8*y = -0*y - 144. Is o bigger than y?
True
Suppose 3*p = -129*p + 69*p + 945. Which is bigger: 8 or p?
p
Let q = 2301/3382 - 25/38. Let k = 401/1958 + q. Are 1 and k unequal?
True
Let v be 6*((-4)/14 + (-116000)/406). Which is greater: -1713 or v?
-1713
Let u = -150 - 35. Let r = u - -186. Which is greater: r or -3/97?
r
Let d be 9772/(-8)*(3 + -1). Let l be 3155/d + 1 - (-114)/399. Which is bigger: l or 0?
0
Let b = 76 - 54. Suppose -4*r = -p - 13, 4*r = -5*p + b + 9. Let a = -1209 + 6072/5. Which is bigger: a or r?
a
Let b = -444.092 + 442. Let a = b - -2.1. Let o = -0.092 - a. Is o greater than -0.1?
False
Let o = -8069 + 8070. Is 22/123 <= o?
True
Let d = -2.89041 + 2.80041. Let t = -413/1310 - -2/131. Is d greater than or equal to t?
True
Let z be (160/25)/(2*(-2)/(-20)). Suppose 0 = -z*d + 34*d + 238. Let f = d - -1073/9. Which is smaller: f or 0?
0
Let n = -11 + 9.8. Let g = 0.1714 + 143.0286. Let b = g + -143. Is n > b?
False
Let k(l) be the second derivative of l**4/12 - 13*l**3/6 + 23*l**2/2 - 163*l. Let c be k(2). Do c and -6/191 have the same value?
False
Let a = 0 + 1/4. Suppose 167*h = 176*h + 7668. Let x = h + 881. Is x < a?
False
Let u(c) = 296*c + 1619. Let t be u(-6). Which is smaller: -1251/8 or t?
t
Suppose 18*b + 6 = 150. Suppose -6*r + 374 = 28*r. Is b bigger than r?
False
Let j(w) = w**2 - 29*w - 94. Let p be j(32). Let q be 1*((-8)/(-24))/(p/(-282)). Is -49 not equal to q?
True
Let f = -1 + 0. Suppose 0 = -2*x + 3*r - 3 - 2, 2*r = -4*x + 30. Let a be 5/(0 + x) - (-5)/(-3). Which is smaller: a or f?
f
Let d = -5.214 - 0.756. Let c = 5.57 + d. Is c less than -9?
False
Suppose -53 = -3*c + 4*l, -2*c - 457*l + 460*l = -36. Is -6/13 at least as big as c?
False
Let m be (3 - 1)*(-10 + (-2 - -10)). Let r be (424/48 - -2)*m/6. Which is bigger: r or -7?
-7
Let g be (-6 - (-2238)/222) + -5. Let u = -155 + 153. Is g at least as big as u?
True
Let p = 8290 + -23392. Which is smaller: -15101 or p?
p
Suppose 4*z = 5*l + 2577 - 620, -l + 5*z = 383. Which is smaller: -390 or l?
l
Let d(p) = -2*p - 44. Let w be d(-23). Let o(b) = 2*b**2 + 1. Let i be o(w). Suppose -g - 5*k + i = 3*g, 5*k = -g + 6. Is g bigger than -3/7?
True
Let w be 344/44 - (-4)/22. Suppose w*i - 4 = 6*i. Suppose 3*h - 3*h = i*h. Which is greater: 1 or h?
1
Let m = 5402 - 5400.96. Which is bigger: m or -1/6?
m
Suppose 4*f = -4*b - 2952, -4*f + 2*b - 3856 = -874. Which is bigger: f or -720?
-720
Let k be (2/347)/(70/(-105)). Which is smaller: k or 1?
k
Let h = -5446410155 - -28517403656557/5236. Let a = h - 357/22. Let x = 531/26180 - a. Is -1 not equal to x?
True
Let m = 105 - 1. Let b = 101 - m. Which is smaller: 0.3 or b?
b
Suppose -2*h - 3*h - 5 = 0. Let w be 2/6*(-52 - 377). Let j be 80/(-55) + 26/w. Which is greater: h or j?
h
Suppose -5 = -4*i - z, -67*z + 3 = -i - 63*z. Which is smaller: i or 4/375?
4/375
Let i be 3/(99/2) + 446459/(-7798362). Let f = -70 + 71. Is f != i?
True
Let x = 444 + -499.3. Let n = x - 4.7. Let b = n + 64. Which is bigger: b or 2/3?
b
Let r be 77 - 24/3 - (-9)/(-1). Let s = 78 - 18. Does r = s?
True
Let n be 27 + 9/((-54)/(-30)). Let o be 48/n - (-6)/(-4). Which is smaller: o or 1/6?
o
Let k = -8321626/359 + 23180. Let b be 3/6 - (-54675)/(-15078). Let c = k + b. Which is smaller: c or -2?
c
Let f = 3889 + -3688. Is 6 equal to f?
False
Let f = -31.567 - -19.567. Which is smaller: f or -1475?
-1475
Suppose 0 = -12*l + 10 + 182. Let x be l/6 + -2 + 713/69. Let w = x + -104. Is -93 equal to w?
True
Suppose -21*m + 4212 = 6*m. Let x = m + -155. Is -5/56 >= x?
False
Let v = 1369 + -1899. Are -530 and v equal?
True
Let o be -4508 + 20/4 + 30/(-6). Let k be 3 + 2 + o/902. Is 1 < k?
False
Let a = 3309/244 + -920653/4636. Let l = 185 + a. Let t = -7353 + 7354. Is l equal to t?
False
Let p = 16 + -5.6. Let x = 45.6 + p. Let k = -57 + x. Which is smaller: -2/3 or k?
k
Suppose 0 = -152*c + 160*c. Which is smaller: -18/43 or c?
-18/43
Let s = 12640 - 12577. Let y = -2.4 + -0.6. Are s and y non-equal?
True
Suppose 4*w = -z, 3*w - 11*z = -13*z - 5. Which is smaller: 41/70 or w?
41/70
Let f(s) = -28*s**2 + 68*s - 808. Let g be f(16). Does -6886 = g?
False
Let b = 36764 - 10771875/293. Is b < 0?
True
Suppose 73*f = 142*f - 71277. Which is greater: f or 1023?
f
Suppose -4*c - 22*c + 1560 = 0. Let z be (18/(-1095))/((-24)/c). Is 1 at most z?
False
Suppose o - 134 + 137 = 0, 3*o = 3*r + 732. Do r and -248 have different values?
True
Let u = 22 + -15. Let q = -52 + 43. Let o(w) = w**3 + 10*w**2 + 8*w - 11. Let j be o(q). Which is smaller: j or u?
j
Suppose -8*r + 19600 = 5*c - 3*r, 0 = -3*r. Suppose o + c = 15*o. Which is greater: 279 or o?
o
Suppose -s + 2*c - 1 = 0, 14 = 5*s - 2*c - 5. Is -71 greater than or equal to s?
False
Let z be (0 - -3)/(5262/4 - (-87 - -91)). Which is smaller: z or 1?
z
Let z be (19/(1064/70))/((-1)/181). Is -227 at least as big as z?
False
Let y(c) = -c**3 + 9*c**2 + 14*c - 38. Let g be y(10). Suppose s - g*s - 3*w = 16, w = s + 12. Which is smaller: -15 or s?
-15
Suppose 4*n - l - 531 = 0, 4*l - l - 255 = -2*n. Let x = n + -397/3. Let h(a) = -a**2 + 2. Let f be h(2). Does f = x?
False
Suppose -4*n = -3*d + 7*d + 34932, 3*d = 2*n - 26174. Which is bigger: -8727 or d?
-8727
Let j = -0.00415 - 234.99585. Which is bigger: -4 or j?
-4
Let n = 40378/3799 + -310/29. Is 1 at least as big as n?
True
Suppose -5*f - 2*w = -5*w - 126, -4*w - 8 = 0. Let s be 15508/(-36)*7/(28/f). Let h = s - -2610. Is 25 at least h?
False
Let y = 3035 + -3034. Which is smaller: 7 or y?
y
Let s(o) = 41*o**2 - 11*o + 5. Let i be s(6). Suppose 17*n - i + 395 = 0. Which is smaller: n or 57?
57
Let z = 1412 + -1328.9. Let y = 72 - z. Let f = -9.3 - y. Which is smaller: f or 0.2?
0.2
Let t(b) = b**3 + 9*b**2 + b + 3. Let x be t(-8). Suppose 95 = -x*h - 82. Which is bigger: -7/2 or h?
h
Let d = 78/941 + -418413/41404. Suppose 5*j + 5*j = -100. Let v = j - d. Which is smaller: v or 0?
0
Let p be (2 - (-2)/(-4))/3. Let v = -34.5 + 378.5. Let q = 343 - v. Is q < p?
True
Let s(o) = -o**2 - 178*o + 5569. Let g be s(27). Which is smaller: -315/2 or g?
-315/2
Let l = -13185041195/801 + 16460728. Let a = 17/89 - l. Is -3 less than or equal to a?
True
Let r be 62*6/(-92) + (-16 - -19). Suppose 5*o - 3*s = 5, -o + 2*s = 6*s + 22. Is o greater than r?
False
Let l(o) = 92*o**3 + 2*o**2 + 6*o - 6. Let b be l(3). Let j = 37694/15 - b. Which is greater: 0 or j?
0
Let u be ((-8)/5)/(-4) - 705/75. Let c be 10/u*(-10 + 49/5). Does -3/13 = c?
False
Let s = -683 - -711. Suppose -s*o - 10*o = 19950. Is -1/3 less than or equal to o?
False
Let z = 58 + -48. Suppose 5784 = z*u - 6*u. Let r = -15885/11 + u. Which is bigger: r or 2?
2
Let i = 85/161 + -37682/72289. Which is bigger: -5 or i?
i
Let i = -5.2 - -9.6. Let x = i - 4.4. Let o(q) = q - 3. Let w be o(2). Which is smaller: w or x?
w
Let x be ((-11)/(-154)*-2)/(4/14)*0. Which is smaller: -30/2197 or x