 be 9 + (-3)/(-3) + 2. Let m be h/3 - 52/18. Is 0 != m?
True
Let q = 321 - 321. Is -2/421 greater than or equal to q?
False
Let m = -1427 + 2082. Are m and -1/4 nonequal?
True
Suppose 1258 - 816 = -2*u. Which is greater: -222 or u?
u
Let r(n) = n**3 + 4*n**2 + 2. Let g be r(-4). Suppose b + g*x - 15 = 0, 4*x = -5*b + b + 60. Are 1 and b equal?
False
Let q(n) = -3*n + 46. Let r be q(12). Suppose 15*k - 50 = r*k. Let b = -5 - -13. Is b at most as big as k?
True
Suppose 5*u - 5*t - 15 = 15, -u = t + 2. Let p be 1/5*3 - -1. Is p less than or equal to u?
True
Let f be (18/(-36))/((0 - 0) + -58). Which is smaller: -1 or f?
-1
Let h be 13/(-1) - (14 - 16). Let w = h - -21. Which is greater: 13 or w?
13
Suppose 7 = -2*r + 3*r. Suppose 0 = -r*f + 12*f + 25. Let z be f + 3/(3/2). Is z greater than -3?
False
Let f(k) = -k**2 - 3*k + 3. Let o be f(-3). Suppose 35*z - 44*z = -18. Which is smaller: z or o?
z
Let o be (-1)/((-1)/(-5) - 18/45). Let a(h) = -h**3 + 5*h**2 + 6. Let b be a(5). Which is greater: o or b?
b
Let h = -23 - -13. Let m be 5*(-1)/(h/(-4)). Suppose -12*u = 57 - 33. Is u at most as big as m?
True
Let f = -1088 - -1088. Which is smaller: f or 0.069?
f
Let j = -175 + 167. Do j and -16 have the same value?
False
Let x = 603 + -259. Let r be x/(-168) - (-2)/(-7). Let f be (-2)/(-30) + 1/3. Which is bigger: f or r?
f
Let s be (-2 - (-2486)/1265)*70/12. Is 1 > s?
True
Let n = 2628.94 - 2575. Let p = n + -54. Is 0 != p?
True
Let t(y) = -y**3 + 2*y**2 - 2*y - 2. Let u be t(2). Let q be 94/4 + -474 + 451. Is u bigger than q?
False
Let p be (-4)/(-6)*(-3012)/(-8). Are p and 251 nonequal?
False
Let m = -287 + 287. Suppose 4*q = 2 - 6. Let w be q + -1 - (-124)/56. Which is greater: m or w?
w
Let t = 803044497/2063051237 - 3/1912003. Let r be (-18)/249*(-2)/(-2). Let a = r - t. Are a and 0 equal?
False
Suppose -16 = -2*x - 6*x. Is x <= -0.026?
False
Let a = 0 + -1. Let t = -3 + a. Let f be 5/20 - 15/t. Which is smaller: f or 2?
2
Let h(d) = -d**2 + 22*d + 19. Let s be h(23). Which is smaller: s or 0?
s
Suppose 12 = 4*q, -2*i + 2*q = -0*q + 6. Which is smaller: 14/19 or i?
i
Let v be (7146/(-175))/((-2060)/75). Let x = -11/721 + v. Let g = x + 1/35. Is 0.6 at most g?
True
Let l = -260 + 275. Do 20 and l have different values?
True
Let w = -372615640 - -12080944281459/32422. Let y = w + 3/754. Let t be (-12)/90 - (-13)/(-15). Is y bigger than t?
True
Let g be (-29)/9 + 34/153. Let x be (-2555)/854 + g/((-2)/2). Which is smaller: x or 0?
0
Let z = 16 - -16. Let a = -32 + z. Which is smaller: a or -8?
-8
Let i be (-175)/(-21) + (-2)/(-3). Suppose i - 7 = -2*u. Suppose 4*g + 4*x = g + 14, -3*x = -3*g - 21. Which is bigger: g or u?
u
Let m = -5636/3 - -1858. Is -20 > m?
True
Let n(k) = 16*k + 104. Let s be n(-17). Is s >= -168?
True
Let g(q) = q**2 + 10*q + 21. Suppose 0*u - 2*u - 3*k - 18 = 0, -4*u + k - 22 = 0. Let x be g(u). Are -7/3 and x unequal?
True
Suppose -18*l = -0*l + 594. Is l less than or equal to -29?
True
Let r = -2/1317 - 115/213354. Does -1 = r?
False
Let v = 0.5309 - 0.2709. Do v and 1.5 have different values?
True
Let k be ((-28)/(-42))/(2/9). Suppose k*p = 8*p - 10. Which is smaller: 3 or p?
p
Suppose 0 = -87*l + 83*l + 576. Which is greater: l or 1?
l
Let y be 10/70 + 28248/28. Which is smaller: 1008 or y?
1008
Let l(q) = q**3 + 13*q**2 + 16*q + 2. Let m(z) = 5*z - 1. Let x be m(-2). Let o be l(x). Let u be o/186 + (-3)/9. Is -1 less than u?
True
Let n be ((-10)/8)/((-9)/36). Suppose -42 = 5*l + 2*s, 0*l + 39 = -n*l + s. Let d be 5/4*l/20. Which is greater: d or 1?
1
Let r(f) = -3*f + 9. Let a be r(-5). Suppose 0 = -n + a + 60. Let p be 8/(-14) + 188/n. Is p less than 2?
True
Let n = -20.52 - -21. Let f = n + -0.28. Let i = 1.9 + 0.1. Which is greater: i or f?
i
Suppose 4*c - 174 = c. Suppose -c - 62 = 8*n. Does 0.2 = n?
False
Let t(a) = -a**3 + 20*a**2 + 35*a + 53. Let x be t(22). Is -145 at most x?
True
Let y be (-6)/11 + 1288/506. Is 0.0401 at most as big as y?
True
Suppose x + k - 4*k + 90 = 0, -50 = x + 5*k. Let p = -139 + 63. Which is smaller: x or p?
p
Let g be (-1)/((321/(-108) - -3)*-2). Let i be (4/g - 47/9)*5. Is -25 not equal to i?
False
Let l be ((-4 + 4)/2)/1. Let o = -19 - -20. Which is bigger: o or l?
o
Suppose 2*r = r + 2*k - 346, 3*k = -15. Is r < 0.1?
True
Let m = -511/36 - -103/9. Suppose -9*w = -4*w + 200. Let b be (w/60)/(2/9). Which is smaller: m or b?
b
Let t = -4 - 2. Let n = -12 - -14. Which is smaller: n or t?
t
Let i be 35/(-28) - 602/(-24). Which is smaller: 24 or i?
i
Suppose 6*b + 1145 - 359 = 0. Let c be (-2741)/21 + 4/6. Let r = b - c. Is r greater than -2?
True
Suppose 11 = 4*u - 5*a, -u + 18 = -4*u - 5*a. Let r = 142682/123 - 1160. Is r less than u?
False
Let u be (1 - -3)*(9 + -1). Which is bigger: u or 34?
34
Suppose 2*m = -2*h + 32, 4*m - 2*m = h + 47. Suppose -5*o - 66 = -161. Which is greater: o or m?
m
Let c(z) = -2*z**2 - 4*z - 4. Let q be c(-2). Let b be 1/2*(2 + 28). Let m be 2 + -2 + b/(-5). Which is smaller: m or q?
q
Let q(g) = g + 2. Let s be q(-5). Suppose 153*a - 157*a = 0. Suppose -6*i - 6 = -a. Is i at most s?
False
Suppose 3*s = 5*p - 0*p - 17, -s - 15 = -4*p. Let w(a) = -a**2 + 5*a - 3. Let d be w(3). Suppose 0 = o - d + p. Which is bigger: o or -2?
o
Let r be 2/7*1 - 690/161. Suppose -2*f = -5*h - 2759, 0*h - 5*h + 5*f - 2765 = 0. Let o = -2771/5 - h. Is o < r?
False
Let s = 1594.02 - 469.85. Let o = s + -1129. Let h = -0.17 + o. Do h and 1/4 have different values?
True
Let z be 9/4 - (-3)/(-12). Suppose -3*u - 12 = 7*p - 8*p, -5*p + 24 = -3*u. Which is bigger: z or p?
p
Suppose -8 = 3*u + u. Let w be (-24)/(-16)*u/(-3). Which is smaller: w or 16/9?
w
Let p = 1 + -0.3. Let c = -1 + p. Let o(d) = -d + 21. Let q be o(19). Is c less than q?
True
Suppose -l - 17 = -p, 0*p - 93 = -5*p + 3*l. Let k = 40 - p. Let o(x) = 2*x**2 - 3*x - 7. Let w be o(-3). Which is bigger: k or w?
w
Let x be -2 + (40/5 - 6). Is x >= 1/61?
False
Let i be 14/(-63) + (-11)/(-9). Let z(x) = 27*x**2 + 1. Let w be z(i). Are 0 and w unequal?
True
Let p be 3 + -1 - (1 + 2982/(-15)). Let i(l) = -51*l - 3. Let y be i(-4). Let n = y - p. Which is bigger: n or 2?
2
Let r(p) = -p**2 + 14*p + 4. Let s be r(12). Let j = -24 + s. Let c(x) = -x**2 + 5*x - 2. Let y be c(4). Is y at least as big as j?
False
Let q be (-6)/28*(-63)/12. Which is bigger: q or 0.1?
q
Let v = 22 - 18. Suppose 3*u + v*i = -4, -4*u + 3*i + 4 = -i. Which is greater: u or -3/7?
u
Let r = -0.81 - 0.19. Which is greater: -0.0554 or r?
-0.0554
Let d = 738 - 1262. Is -525 less than d?
True
Suppose 0 = -5*h - 12*h + 1394. Which is smaller: -2 or h?
-2
Let f = -13.3 - -13.7. Let p = 5.4 - f. Does p = 3?
False
Let h = 60.8 - 61. Which is greater: h or -0.01?
-0.01
Let t = 352 + 19. Suppose 2*y - t = -g - 4*g, 5*y = g - 85. Which is greater: g or 76?
76
Let f(v) = -v**3 - 9*v**2 - 5*v + 24. Let d be f(-8). Suppose -k = 2*m + 34, 3*k - 5*m + 102 = -d*k. Which is smaller: k or -35?
-35
Let b = -96 - -88. Let t be (2 - 4) + 4 - 10. Is b smaller than t?
False
Let n = -9812981/1027 - -9555. Which is smaller: 0 or n?
0
Let j = 34 + -48. Let u be -10 - j - 10/1. Is -8 greater than u?
False
Let u be (-6 - (-11154)/1925) + (-2)/25. Is -2/203 >= u?
True
Suppose -5*r + 3*f = -1737, 5*f = -3*r + 4*r - 343. Let m = 1403/4 - r. Which is greater: m or 3?
3
Let n be 134 + 5 + (-7)/(-3)*-3. Which is greater: n or 134?
134
Let u = -152 - -160. Suppose u + 1 = -3*k. Is -22/7 at least k?
False
Let t = 2330/9 - 776/3. Is t <= 711?
True
Suppose 5*i = 5*f + 10, -2 = -48*f + 43*f - i. Is f at most as big as 8?
True
Let f = 22.6 - 24.8. Which is smaller: -4/11 or f?
f
Let d = -9 + 3. Let z = -18 - d. Let i = z + 13. Are 1/12 and i equal?
False
Let k = 2828 + -2828. Is 1.553 less than or equal to k?
False
Let t = 8 - 0. Suppose 4*a = -8 - t. Let v be (12/32)/((-6)/a). Which is greater: 0.3 or v?
0.3
Let m = 3 - 3.001. Let l = 2.401 + m. Is -2 >= l?
False
Let b(h) = h**3 + h**2 - 2*h - 1. Let m be b(-2). Let z(k) = -k**3 + 6*k**2 + k - 7. Let j be z(6). Is m greater than or equal to j?
True
Let a be 10/1*7/(28/34). Let k = -57 + a. Is k != 29?
True
Let c = 29 - 26. Let b = -69 - -74. Which is smaller: c or b?
c
Let q(g) = -4*g**2 - 33*g - 3. Let b(a) = 2*a**2 + 17*a + 1. Let l(i) = 11