Let h = m + 2.2. Is h not equal to 4?
True
Let q = 121 - 117. Suppose -t + q*t + 6 = 0. Which is smaller: t or -3?
-3
Let h = -40.99 + 40.7. Is h smaller than 0?
True
Let q = -297 - -277. Let r = 53 - 211/4. Which is bigger: r or q?
r
Let g = 8.09 - 0.19. Let t = g - 8. Let c = t + -0.4. Is c > 2/3?
False
Let r = 0.87 + -0.37. Let o = 16.27 - 6.27. Which is greater: r or o?
o
Suppose -2 = -s - 2*x, 5*x = -23 + 3. Is s >= 11?
False
Let n be (2/(-9))/(132/34947) - 5. Is -63 > n?
True
Let j be -9*5/(-75) - (-3 + 4). Let x = -6 + 5. Which is greater: x or j?
j
Let l be ((-1496)/(-102))/(2/(-6)). Is -41 greater than l?
True
Let v be (-2)/((-36)/32 - -1). Let o be 30/v*(-2)/(-3). Which is smaller: 2 or o?
o
Let y be (-9)/(-2) - (-7)/14. Suppose -20 = b - 2*m, -2*m = y*b - 0*m + 52. Let n be 48/(-15)*(-3)/b. Which is greater: 0 or n?
0
Let i = -126.7 - -126.6. Which is smaller: i or 32?
i
Let o be 112/61068*(-3)/4. Is o not equal to 0?
True
Let y(w) = 0*w + 4 - w + 4*w**2 - 6*w**2. Let c be y(-2). Is -7/6 >= c?
True
Let u = -0.0697 - -24.0697. Which is greater: u or -1?
u
Suppose 9 + 3 = -4*l. Suppose -4*h + p = 3*p + 6, 5*p = 5*h + 30. Let j = -5 - h. Is l smaller than j?
True
Let p(d) = -d**3 - 11*d**2 + d + 9. Let y be p(-11). Suppose 4*m = -3*z - 2 + 38, 5*z - 60 = -3*m. Let h be (8/(-12))/(z/9). Is h >= y?
True
Let o = -0.215 - 0.205. Is o at least 1/2?
False
Let y(b) = 11*b + 12 - 20 - 19. Let c be y(4). Which is smaller: -2 or c?
-2
Let x = 17.13 - 0.13. Let q = -1.33 + -14.67. Let i = q + x. Is 0 at most as big as i?
True
Let a = -10 + 5. Suppose 92 = -6*r - 196. Let q = 44 + r. Is q less than a?
False
Let i = 0.05 - 4.05. Let b = 7.17 - 0.17. Let u = 8 - b. Is i equal to u?
False
Let t = 388 + -516. Which is greater: -125 or t?
-125
Let y be -20 - 0/(-5 + 3). Let h be 3/(-12) - 85/y. Let l be ((-1)/(-5))/((-71)/(-35) - 2). Is l at most as big as h?
False
Let t be (-6 - (-414)/60)/((-2)/4). Suppose 3 = -5*g - 3*k, -2*k + 17 = -g - 2*g. Is t at most as big as g?
False
Let w(l) = 2*l + 35. Let x = -5 + -13. Let r be w(x). Which is smaller: r or -1/3?
r
Suppose 0 = 3*o - 5 - 7. Let s be (2/o)/(1/4). Let v = -26 + 161/6. Which is greater: v or s?
s
Let u = -3 - -5. Suppose 3*q + u*n = -q - 74, -52 = 3*q + 5*n. Let r = 97/5 + q. Which is smaller: 1 or r?
r
Let s(f) = -f**3 - 8*f**2 + 8*f - 10. Let y be s(-9). Let k be 1*y/1*104/39. Which is bigger: k or -3?
k
Let q be ((-1)/(1/(-1)))/(1/23). Which is bigger: q or 1?
q
Let c = -499 + 466. Is 0.08 greater than c?
True
Suppose w + 0*g = -3*g - 6, 5*g + 20 = 0. Suppose 0 = -w*t + 18*t - 60. Does -1 = t?
False
Let q be 4/(-6) - 418/(-6). Let f = -70 + q. Is 1/13 < f?
False
Let w = 40 - 31. Let q = -2 - w. Is q <= -12?
False
Let l = -4.95 + -0.95. Let k = l - -7. Let i = k - 1. Are i and 0.3 equal?
False
Suppose -k + 32 = -3*k. Let q = k + 16. Which is greater: -5 or q?
q
Let g = 83 - 371. Let j be 4/2 + g/(-148) + -4. Is j greater than -1/3?
True
Let v = -1 + 5. Suppose -4*q - 4*m + 10 + 10 = 0, -m = 3. Let c = -2 + q. Is v greater than c?
False
Let g(k) be the second derivative of -k**5/20 + 3*k**4/4 - 11*k**3/6 + k**2/2 + 18*k. Let h be g(8). Is h equal to -23?
True
Let v(b) = b**3 - 19*b**2 + 36*b + 33. Let h be v(16). Which is smaller: h or -157?
h
Let z(o) = o + 1. Let x be z(6). Suppose 4*j - 2*n = -50, j - 3*j - 4*n = 40. Let p be (-1)/4*2*j. Is p != x?
False
Let g = -14 + 13. Let n be g/(-6)*2*2. Is n less than 1?
True
Let q = -3269 + 3270. Let g(l) be the second derivative of l**4/12 - 5*l**3/6 + 5*l**2/2 - 2*l. Let c be g(4). Do q and c have the same value?
True
Let t = -186.05 - -186. Which is greater: 32 or t?
32
Let v be 21/84 + (-1)/4. Suppose y = 2 - 1, v = -k + 5*y - 4. Is -9 less than k?
True
Suppose 3*r - 5*t + 9 = 0, -3*r + t + 2 = -1. Suppose -5*v + 20 = -n - n, -v + 4 = -r*n. Let d = -133/4 + 33. Is d != n?
True
Suppose 0 = r - 3*r - 16. Let l = r - -3. Let p be (l/(-2))/(5/10). Do 6 and p have the same value?
False
Let d be 9/3 - 516/(-35). Let v = 482/35 - d. Let q = v + 25/7. Which is smaller: q or -1?
-1
Let f = 30253/112073 - -1/3029. Let c = 67/111 - f. Which is greater: 0.142 or c?
c
Let s = -2 + 1. Let a be -10*((-5)/(-10))/s. Which is smaller: a or -4?
-4
Suppose o - 5*d = 258, 11*d - 829 = -3*o + 15*d. Is 284 at least o?
True
Suppose 5*t - 14 + 8 = -3*a, 5*a + 12 = -t. Is t greater than -20?
True
Let m = -17461/23482 - -83/118. Is m <= -1?
False
Let g be 10*(-2)/(4/2). Suppose -3*d + 4*d - 14 = i, -i = -5*d + 22. Which is smaller: g or i?
i
Let h be (3382/4959 + (-18)/27)/(2/3). Suppose w + 3 = -2*w. Does h = w?
False
Suppose b + 4*r - 32 = 4*b, -2*b = 2*r + 26. Let o = b + 17. Suppose 6*f - 89 = -o. Is f < 14?
False
Let n = -1210 + 8480/7. Which is smaller: n or 0.9?
0.9
Let u(q) = -3*q - 7*q + 2 + 44*q**2 - 43*q**2 - 6. Let o = 16 - 6. Let i be u(o). Which is greater: 0.4 or i?
0.4
Let a be ((-18)/441*-7)/((-10)/14). Which is smaller: -294 or a?
-294
Let g be (-4 + (1 - -5) - -3)/1. Suppose 3*p + 14 = 4*r, -5*p = -p + r - 13. Suppose g*h - 2 = h - 2*j, -5*h + p*j = 11. Is 2/7 at most h?
False
Suppose 5*k + 4*r = -275, 5*k + 2*r + 55 = 4*k. Let x = -32 - k. Are -1 and x equal?
False
Let y = -317 - -529. Which is smaller: 1 or y?
1
Let z(r) = -2*r**3 + r**2 - 7*r + 10. Let h be z(4). Let x be 9/(-12) - h/88. Which is smaller: x or 2?
x
Suppose 0 = 30*j - 13*j + 7293. Is -430 less than j?
True
Suppose -u = 3*u. Let g = 4 + u. Let d(q) = -12*q + 111. Let t be d(9). Which is greater: g or t?
g
Let y be (-95)/(-25) - (-8)/(-10). Let j be (y/26)/(0 - (-3)/(-18)). Which is smaller: j or 0?
j
Let s = 357 + -353. Do s and 16 have different values?
True
Let f be (180/300)/(-3 + 32/10). Suppose -10 = -w - 4*w. Suppose 4*n - 40 = -n + 5*y, n + w*y + 7 = 0. Is f equal to n?
True
Suppose 4*b - 5 = 5*i - b, 3*i - 5*b + 11 = 0. Let g be 6/18 + (-4)/i. Is g less than or equal to -2/231?
True
Let q be ((-3)/18)/((-4683)/518 - -9). Which is smaller: 3 or q?
3
Let z be (0 + (-10)/(-16))/1. Let u(w) = 9*w. Let o be u(0). Which is bigger: z or o?
z
Let j(h) = 2*h**2 - 18*h + 5. Let g be j(0). Is 41/8 > g?
True
Let k be 32/(-18) + 58/(-261). Is 1/10 smaller than k?
False
Let f = 10.95 - -0.05. Let o = 12 - f. Let v = -2.4 - -2.51. Is o less than v?
False
Let c = 1448.645 - 1449. Which is greater: c or 0.2?
0.2
Let i(j) = 4*j**2 - 20*j - 1. Let d be i(5). Let z be (1/13)/((5 + -4)*d). Which is smaller: z or -1?
-1
Suppose 36*g - 22 = 14*g. Is g > -4/689?
True
Let q be 1/(-2)*(30 + -4). Let c(z) = -z - 19. Let k be c(q). Let g be (-8)/(-14) + k/35. Which is greater: g or 0?
g
Let f = -6 - 28. Let l = -30 - f. Which is smaller: l or -2?
-2
Suppose 64 = -9*n - 161. Which is greater: n or -24?
-24
Let h be 8 - 9 - 20/(-2). Let g(u) = u**2 - 10*u + 17. Let i be g(h). Let q be (-217)/(-252) + (-6)/i. Is 0.2 smaller than q?
False
Let j = -31 - -30. Let b = -62/3 - -20. Are b and j nonequal?
True
Suppose 0 = -17*y - 16 + 288. Which is bigger: 17 or y?
17
Let n = 0.839 - 0.439. Do n and 93 have the same value?
False
Suppose g + 2 = h, -2*g - 5 - 11 = h. Let o = -137/2 + 64. Which is greater: g or o?
o
Let x = -11.72 - -12.6. Let c = x - 26.88. Is c at most -2/3?
True
Let i = -42 - -29. Is 10 < i?
False
Let m(l) = -l**3 + 37*l**2 + 74*l + 34. Let p be m(39). Are -122 and p nonequal?
False
Let c(a) = 2*a**2 + 2*a - 4. Let b be c(-4). Let h be b/(-15)*(-3)/2. Suppose 2*k = -5*r + 4 + 6, -2 = -r - 3*k. Is r bigger than h?
False
Let b = 0.2144 + 0.7856. Which is bigger: 16.7 or b?
16.7
Let s(m) = 7*m - 21*m + 9 + 9*m. Let v(h) = -11*h + 18. Let l(b) = 9*s(b) - 4*v(b). Let g be l(6). Is g greater than 3?
False
Suppose 85 = -2*i + 1. Let g = 43 + i. Which is bigger: g or 8/7?
8/7
Let b(h) = -5 + 6*h - 1 + 2*h. Let w be b(1). Are 9/13 and w nonequal?
True
Let g = 131.45 + -114. Let p = g - -0.55. Are p and -0.1 equal?
False
Let w = -257 + -598. Let v be 120/w*(-18)/4. Which is greater: v or 1?
1
Let n = 11.32 - 11.42. Is -36.8 bigger than n?
False
Let v be (-11)/22*-1*86/11. Is v not equal to 3?
True
Let o be (1 - (-3)/(-4)) + (-14554)/(-152). Let d = -84 + o. Is d at most as big as 14?
True
Let y = 9 - 21. Let p be 1/4 + (-44)/(-16). Suppose -p*m + 62 = -5*t + 5, 0 = -5*t + 5*m - 55. Is t < y?
False
Let k