 Is 2 at most j?
False
Let p be (7554/(-15))/(24/60) - 0. Is p equal to -1261?
False
Let o = 64920/13 + -4994. Which is smaller: 12.5 or o?
o
Suppose 15*h + 152 = -294 + 131. Which is smaller: -79 or h?
-79
Let g = 26 - 450. Let k = g + 430. Which is smaller: 13 or k?
k
Let x = -8 + 7. Suppose -5*w + 4*n = 3*n + 363, -3*n + 67 = -w. Is w smaller than x?
True
Let j(d) = 4*d**2 - 7*d - 5. Let r be j(-4). Let u = 165 - r. Let z = u - 66. Which is smaller: z or 13?
z
Let m = 0.9 - 0.91. Let x = -1.6 - -2.45. Let w = x - 0.79. Which is smaller: m or w?
m
Suppose -l = 4*l - 850. Let r = l + -508/3. Is r greater than or equal to 1?
False
Let c be 72/(-45) + 2/(-5) - -7. Suppose 2*d + 2 = m - 3, c*d + 10 = 2*m. Suppose l - 18 = -2*x, d*x = 3*l - 2*x - 38. Is 12 >= l?
False
Let i(l) = -3*l**3 - 6*l**2 - 7*l + 4. Let r(x) = -x**3 + x**2. Let q(z) = -i(z) + 2*r(z). Let u be -2*(-3)/(-6)*7. Let c be q(u). Which is smaller: c or -1?
c
Let g = -3788 + 3787.9913. Which is greater: -0.3 or g?
g
Let h(q) = -2*q**2 + 23*q - 6. Let b be h(11). Suppose 0 = -b*f - 0*y - y - 4, 2*y = 4*f + 6. Is f bigger than 6/125?
False
Let g = 3894100/3493369 - 576/517. Is 0 > g?
False
Let z = -20/51 + 2671/6681. Let s be 90/(-24) + 4 - (-42)/168. Which is greater: z or s?
s
Let j = 0.0516 + -0.0508. Let m = j - 0.3008. Is m >= -0.33?
True
Let s(y) = 4*y - 3. Let l be s(2). Suppose l*c + 0*c - 10 = 0. Let q be (432/6)/8 - (1 - -6). Does c = q?
True
Let y be 135/20 - (-15)/12 - 10. Let n = 60 - 40. Is n at least y?
True
Let k be (2/10)/(4/5). Let a = 651009404/47 + -13850655. Let f = 609 - a. Which is bigger: k or f?
k
Let y be ((2*-1)/1)/(-11). Let t(p) = 77*p - 2958. Let o be t(39). Is o > y?
True
Let p = -19029 - -19027. Is p bigger than -5?
True
Let g = -1035 + 503. Are -530 and g unequal?
True
Suppose 0 = 4*b + 42*b - 460. Let r be (-287)/41 + (-184)/b. Which is bigger: r or -24?
-24
Let y = -137525 - -137526. Let m = 0.1 - 0.2. Which is smaller: m or y?
m
Let c(i) = 66273*i**3 + 5*i + 4. Let h be c(-3). Let f = h + 75172231/42. Let x = f - 433. Which is bigger: x or 1?
1
Let r = -19136 + 19002. Which is smaller: -75 or r?
r
Let r be 424/(-6)*(-2520)/480. Let f = r + -370. Which is smaller: f or 12/31?
12/31
Suppose 4*f = 3*a - 1200, -3*a + 3*f + 1182 = 5*f. Let k be a/((-10)/(-5)) - 0. Is k less than or equal to 197?
False
Let r be (860/25)/(5 + 152/(-30)). Let f = r - -517. Do f and 1/7 have the same value?
False
Let t be (-14 + -1)/(32/(-288)). Suppose -t*b = -122*b + 494. Is -112/3 at most b?
False
Let y be (-5)/((-5)/(-6)) + (-49)/((-12748869)/1561068). Which is smaller: y or -1?
-1
Suppose 105*p = 94*p - 11. Let r = 38 - 27. Suppose 4*b + 14 = -4*t + 6*b, -4*t + b = r. Which is bigger: p or t?
p
Let w be (14/28)/(1/(-10)). Let a be -4 + (w + -2)/(-1). Suppose a*v + 3 = s + 1, 4*s + v - 21 = 0. Is s at most 23/4?
True
Let x = 29.47 - 29.51. Let p be 3/42*3*66. Let b = p - 14. Which is greater: b or x?
b
Let i = 27624 + -27610. Which is smaller: 783 or i?
i
Let z(o) = 4*o**2 + 9*o + 112. Let u be z(-22). Which is smaller: u or 1845?
1845
Suppose -4*x + 428 = -5*a, 3*a - 535 = -5*x - 0*a. Let h = 3536/9 + -17921/63. Is x not equal to h?
True
Let a = 65 - 45. Let m be (54/15)/((-6)/a). Let u = -205337 + 205330. Do u and m have the same value?
False
Suppose -7*y = -2531 + 648. Let o = y + -352. Is o bigger than -85?
True
Suppose 0 = 4*g + 10*g - 1680. Suppose 116*q = g*q - 24. Are 10 and q equal?
False
Let k be (-22)/(-5) - (-6)/(-15). Let c be 2 - -4 - (10 + k). Is 12 bigger than c?
True
Let a(j) be the first derivative of -1/4*j**4 + 8/3*j**3 - 11*j + 3*j**2 + 7. Let x be a(8). Which is bigger: x or 38?
38
Let q(d) = -d**3 + 15*d**2 + 10*d. Let t be q(10). Let r be 2 + (691/t - (-33)/(-11)). Let b = -2/75 + r. Is 0.2 equal to b?
False
Let y(v) = -276*v**2 + 37*v - 37. Let m be y(1). Is -272 not equal to m?
True
Let x = 49 - 47. Suppose -x*c + 73 = -53. Let a be 2/12*c/(-12). Is 0 at most as big as a?
False
Let o = 64.98 - 0.98. Let b be (-17 - 124/(-8))/(1/391). Let z = b - -587. Is o > z?
True
Suppose 5*a + 7 + 3 = -5*n, 0 = -n - 4*a - 11. Let q be 10/((1 - 0)*n/(-5)). Let c(t) = -3*t**2 + 6*t - 6. Let x be c(5). Is x greater than or equal to q?
False
Let s = -3486884/1701 - -14349/7. Is s less than -1?
False
Let h = -11919 + 11919.1. Suppose -58 = -2*j + j. Which is smaller: h or j?
h
Let t = 0.763 + -306.763. Let f = t + 306.4. Is 65 at most f?
False
Let k be (-12)/7*(-21)/6. Let v be (9 - (-310)/(-30))*(0 - k). Do v and 9 have different values?
True
Let y(f) = f**3 + 3*f**2 - 9*f + 1. Let t be y(2). Suppose 0 = -3*x - 5*v + t, -v = 3*x + 2*v + 3. Which is bigger: -48/19 or x?
-48/19
Let p = -69.13 + 73.2. Let g = p - 3.97. Let s = -0.023 - -26.023. Which is greater: g or s?
s
Let j(u) = -u**3 + 4*u**2 + u - 3. Let c be j(4). Let d be 18/81*12/24. Is d equal to c?
False
Let s = 162 - 287. Let r = s + 124.1. Is r not equal to -0.2?
True
Let l be 1248 - (-4 + 5)*(1 - 1). Let o = 16216/13 - l. Let h = 1 - 1. Is o greater than h?
False
Suppose -294 = 5*u + 3*x - 992, u = -2*x + 134. Is 142 at least u?
True
Let d be (-18)/801 - 24891944/(-3026). Is d at most as big as 8225?
False
Let b = 3712 - 894590/241. Suppose 10 - 1 = 3*f. Suppose -f*h + 4*h - 6 = 3*s, -4*s + 3*h - 13 = 0. Is b < s?
False
Suppose 4*u + 90 = 2*m, u - 235 = -4*m - 2*u. Let h = m + -50. Suppose 0 = 2*p - 2*z - 10, h*p + 5*z + 17 = 2*p. Which is bigger: -4/31 or p?
p
Let h = -2.5547 - -5.7347. Do 12 and h have the same value?
False
Let c(s) = s**3 + 21*s**2 + 20*s + 6. Let n be c(-20). Suppose -a = 4*u + n, -2*u + 3*a = -0*a + 10. Let x be 40 + -2 + u + -2. Is 34 greater than x?
False
Let v(g) = 4*g - 21. Let y be v(5). Let d = -0.4 - -1.8. Let u = d - 1. Are u and y unequal?
True
Let d = 518 - 522.63. Let y = -5.63 - d. Do -6 and y have different values?
True
Let a = 1.51 + -1.71. Let m = 3 - 8. Let w = m + 1. Which is smaller: w or a?
w
Suppose -1099*k + 1086*k = 18333 + 16780. Is -2699 greater than k?
True
Let z = 3.781 + -221.681. Let b = z + 190. Which is smaller: b or 0?
b
Suppose 0 = -5*i + 20, -d - 10*i + 6*i - 24 = 0. Is d >= 0.16?
False
Let i = -100 + 98. Which is smaller: -0.1088 or i?
i
Suppose 0 = 4*w + 5*a - 2248, -43*w - 5*a = -46*w + 1686. Is 1121/2 equal to w?
False
Let d = -20 + 17. Let v(g) = g**3 + 9*g**2 - 6*g - 10. Let l be v(-9). Let y = l + -50. Is d smaller than y?
False
Let u = 2.3 + -2.4. Suppose -4*w - 52 = -32. Let x be (1/(-1))/(w/10). Which is greater: x or u?
x
Let a be 0*(((-5)/2)/5 + 1). Let r be ((-26)/936)/((-1)/(-34)). Is a > r?
True
Let y(k) = 2*k**3 + 23*k**2 - 11*k + 10. Let h be y(-12). Let q be h - -22*(-10)/(-20). Which is smaller: 42 or q?
q
Let y be 0/1 - ((-1593081)/(-144))/21. Let x = y - -527. Which is smaller: x or 0?
0
Let d = 84 - 83.9. Let z = -175 - -204. Are z and d non-equal?
True
Suppose 2*y + 86*u = 84*u - 8, 5*u + 25 = 0. Which is greater: y or 3/3128?
y
Suppose -5*x + 28 = -62. Let v be (-49)/5 - (x + -21). Which is greater: -7 or v?
v
Suppose -5*a + 52 = -3*a. Suppose r = -4*y + a, 16 = r + 3*y - 7. Suppose r*v = -1 - 13. Is v at least -0.01?
False
Let x = 3 - 4. Let m be (11 + 2735/(-375))*(-2202)/4. Let g = -2041 - m. Which is smaller: g or x?
x
Let w = 759 + -760. Is -1147 at least w?
False
Let l be (((-1600)/(-3))/(-5))/(21/12). Which is smaller: -60 or l?
l
Let j = -120.58 - -194.95. Let c = j - 74. Let r(d) = -d - 1. Let f be r(0). Is f less than or equal to c?
True
Suppose p - 176 = -4*h - 4*p, 2*p - 188 = -4*h. Suppose 3*f - 6*b = -b + h, 0 = f - 4*b - 28. Suppose -f*m + 9 - 41 = 0. Which is bigger: 0 or m?
0
Suppose 15*t = 21*t - 216. Let i be (-15)/1*(-204)/t*1. Which is smaller: i or 86?
i
Suppose -v - 2*m = 343, 3*m = v - 2*v - 341. Which is greater: v or -343?
-343
Suppose 17541 - 102088 = -75*u + 85628. Is u > 2269?
False
Let b be (-12994 - 247) + (-1)/((-2)/26). Is -26457/2 greater than b?
False
Let h = 9 + -6. Let x = 4103 + -4102.97. Is x at most h?
True
Suppose -43*d + 133687 + 28450 = 34814. Is d > 2959?
True
Let c be (-6)/4*70/(-15). Let p = 575 + -572. Is c less than or equal to p?
False
Suppose 29 = 5*n - 126. Suppose 26*r - n*r = -65. Suppose 0 = 17*p - r*p. Which is smaller: -2/3 or p?
-2/3
Let j = 67 + -95. Let v be j