*(3978/(-12))/13. Let s = k - 52. Are 6/205 and s non-equal?
True
Let y(z) = -72*z**2 + 11*z - 64. Let q be y(4). Which is greater: -2 or q?
-2
Suppose -6*l + l = 4*i + 16, 2*l = i + 4. Suppose -8*j - 4*j + 24 = l. Let v be (j/(-4))/(36/(-48)). Is -5/3 at least v?
False
Suppose 71 = 4*z - q, -3*q + 20 = 2*z - 19. Let r(c) = c**2 - 35*c + 13. Let n be r(z). Is -293 greater than n?
False
Let h = 11243/8 - 1405. Is h equal to -18?
False
Let a be ((-1)/(-1))/((-147)/(-26313)). Is 1600/9 greater than or equal to a?
False
Let u(x) = 2*x**2 - 62*x + 22. Let k be u(-27). Let z = k - 15821/5. Is z < -10?
True
Suppose -14*n + 62 = -8. Suppose -24 = 4*x + 13*s - 9*s, -n*s - 22 = -3*x. Which is smaller: x or -2/85?
x
Let d = 36 - -62. Let u = d - 69. Is 55/2 smaller than u?
True
Let z(i) = -i**2 + 4*i + 3. Let n be z(4). Let b be ((-162)/(-45))/((-33)/(-55)). Suppose n*g = -2*m + b, -4*g + 13 = -2*m + 5. Is g > 11/4?
False
Let c = -5681 - -5681. Which is bigger: -114/173 or c?
c
Suppose a - 56 + 62 = 5*c, -1 = -4*a - 5*c. Is a <= 3/74?
True
Suppose -25*t - 19*t = 38*t + 82. Suppose 5*j - 56 + 21 = -5*g, 5*g - 17 = 4*j. Let v be (1/(-18))/(j/4). Is v smaller than t?
False
Suppose -3*s = -u + 202, -19*s + 21*s + 396 = 2*u. Is u at least as big as -7?
True
Suppose 116*p - 90 = 110*p. Suppose -2*o + 7*o - 25 = 4*r, -3*r = p. Is o at most 6/17?
False
Let a be 1 - (3/3 - 4). Let o = 2112 + -2044. Suppose o = a*t - 84. Which is smaller: 36 or t?
36
Let z = 4110 - 4289.9. Let w = -189 - z. Which is smaller: w or -0.1?
w
Suppose -4*j + k - 9 = 0, 2*j - 4*k + 16 = 8. Is 0.061 != j?
True
Let v = 1180719/8245 + -11823/97. Let b = v + -106/5. Which is smaller: -1 or b?
-1
Let p = 20.3 + -20.1. Let b = 0.5 + -0.8. Let z = b + p. Which is greater: 2/21 or z?
2/21
Let y = -3662 + 3849. Which is smaller: -0.3 or y?
-0.3
Suppose 0 = 5*c - 770 - 2675. Let g = 14078801/20541 - -2/102705. Let a = g - c. Is a greater than or equal to -5?
True
Let i = 1823 + -1822. Is i less than or equal to -1/56?
False
Let o = -241963/1320 - -1463/8. Let x = o + 2/5. Let t = -1 - -1. Is t at least x?
True
Let r = -1387 - -1367. Let c(x) = -10 + 4 + 0*x**2 + 0*x**2 - 2*x**2 + 7*x. Let w be c(5). Do r and w have the same value?
False
Suppose -3*n + 132 = 123. Suppose 32*j = -n*j + 175. Is 36/7 < j?
False
Suppose 485 + 175 = 2*h - 4*m, h + 2*m = 334. Which is greater: 0 or h?
h
Let v = -146/21 - -142/21. Suppose 5*l - 1 - 7 = 2*r, 4*l = -3*r + 34. Suppose 4*o + 2 - r = 0. Which is greater: o or v?
o
Suppose 2*m - 56 = -5*c + 278, 3*m - 2*c = 349. Let f = 179 + -51. Which is smaller: f or m?
m
Let s = 5/14 - 1/14. Let i = 1249 + -1382. Which is smaller: i or s?
i
Let k be ((-3)/3 + -2)/(57/4826). Let d = k + 255. Do d and 1/800 have the same value?
False
Let n(p) = 9*p**2 - 40*p - 87. Let b be n(-16). Which is smaller: b or 2858?
b
Suppose 80*m + 6 = 83*m. Suppose b - 3 = -3*n, 4*n - m = -b + 3. Is -2/7 greater than or equal to n?
False
Let g be (59/(-118))/((-1)/(-1622)). Which is bigger: 0 or g?
0
Let f = 2.6 - -4.4. Let i = -26 + f. Let v = i - -20. Is v less than or equal to -6?
False
Let j = -4025 + 4250. Which is smaller: 449/2 or j?
449/2
Let x = -0.811 + 0.191. Let q = 3.98 - x. Is q less than -2/3?
False
Let j = -18519 + 18518.932. Let l = 77.532 - 78. Let m = j - l. Is m at most -4?
False
Let p be (2/4)/(-8 - 536/(-68)). Let o = -1 + -8. Let z = o - -6. Are p and z non-equal?
True
Let w = 1.6 - 1.93. Let k = -0.33 - w. Let x = 10.14 + -10. Which is greater: k or x?
x
Let g(w) = -w. Let p(y) = 12. Let x(k) = 3*g(k) + p(k). Let v be x(4). Suppose -2*z - 3*j + 0 + 20 = v, 4*z - 4 = 3*j. Are z and 2 equal?
False
Suppose 5*i + 51081 = -3*u, 12*i - u = 15*i + 30643. Which is bigger: -10211 or i?
-10211
Let h be (-94)/(-72)*15/1. Let d = 3/13592 - 727181/40776. Let y = h + d. Is -4/5 less than or equal to y?
True
Let w be ((-6)/(-20)*5)/(24/352). Suppose w = -4*d + 18. Which is smaller: 13/41 or d?
d
Let r be ((-7)/21)/((-114)/(-1404)) - (-1 + -3). Is r != 3.9?
True
Let h be -1*7 + (-3696)/(-7). Let w = h + -519. Which is bigger: w or 11/10?
w
Let o = 49625 - 648247/13. Let g = o - -240. Let v(t) = -t - 1. Let c be v(-3). Which is greater: g or c?
c
Let f be -5 - (-14 + (0 + -15)/5). Suppose 1163 - 4223 = -f*a. Which is smaller: 256 or a?
a
Let a be 6/(-4 - (-676)/170). Let j = a - 539. Let z = j - -2413/3. Is 11 greater than z?
True
Suppose 3*i = -i. Suppose 212 = 5*n + 962. Let m = 1499/10 + n. Is m not equal to i?
True
Let s(o) = -520*o - 3089. Let i be s(-6). Let u be (-201)/(-6) + -1 + -2. Is i > u?
True
Let r = -3348 + 9968/3. Is r less than -1/3?
True
Let c = -6498 - -58597/9. Is -2 >= c?
False
Let y(o) = 34*o + 50. Let n be y(-7). Let a = n - -187. Which is smaller: a or -14?
-14
Let t(c) = 2*c - 17. Suppose -5*l + 4*z = 5*z - 43, -38 = -4*l + z. Let d be t(l). Which is greater: 3/145 or d?
d
Let c = 213.0414 - 0.0414. Let x = -233 + c. Which is greater: x or 7?
7
Let w = 0.261 - -0.139. Suppose -4*i = -2*n + 568, -3*i - 6 = -5*i. Let z = n - 5512/19. Which is smaller: z or w?
z
Let f = 464.984 + 0.016. Let s = f + -397. Which is smaller: s or -1?
-1
Let i = 1 + -0.9. Let b = -733 + 371. Let u = 361.85 + b. Which is smaller: u or i?
u
Suppose -79 = -11*m + 86. Let b be (-45)/(-70)*(100/m)/(-5). Which is smaller: 0 or b?
b
Suppose -4*j + 3271 = -g, g - 5 = -0*g. Let l be (-9)/(-6) - j/(-18). Is 44 less than l?
True
Suppose 1386 = 26*q + 5702. Let g = 168 + q. Is g less than 34/29?
False
Let u = 794697789 + -191524213001/241. Let k = -8489 - u. Is -1 <= k?
True
Let i(g) = 44*g**2 + 39*g + 339. Let l be i(-8). Which is smaller: 2844 or l?
l
Let d = 430.0346 + -0.0346. Let m = -310 + d. Is m != 1?
True
Let g = 0.0037 + 212.9963. Let x = g - 211. Which is smaller: x or 3.9?
x
Let y(j) = j**3 + 8*j**2 + 15*j. Let w be y(-6). Let i = -6/7037 - 6040/9422543. Let k = -73639/4017 + i. Which is bigger: k or w?
w
Let d = 133 - 144. Let l = 0.14 + 1.46. Which is greater: d or l?
l
Let p(y) = -3*y - 22. Let h be p(-9). Let w(r) = -3*r**3 - 2*r**2 + 4*r - 3. Let f be w(2). Let t be (-10)/h - f/3. Is 2 at most as big as t?
True
Let b = -5029 - -4924. Is 1 at most as big as b?
False
Let f = -1749 + 1722. Let j = 8 - 8.2. Is j bigger than f?
True
Suppose 2*h = 14, 693*h - 803 = -3*f + 688*h. Let m(b) = 29*b**2 - 4. Let a be m(-3). Which is bigger: f or a?
a
Let h = -16 - -36. Suppose -h = w + i, 5*w + 28 = i - 60. Let n be 3/2 + (-153)/w. Which is smaller: 8 or n?
8
Suppose -4*l + 9*q - 8*q = -1280, 0 = 5*l + 4*q - 1621. Let w = 15 - l. Which is smaller: -307 or w?
-307
Let d = 3169 + -3166. Is d > -0.0425?
True
Let l(x) = x - 1. Let i be l(8). Suppose -12*m = -5*m - i. Let k be (1 - -8)*(-1)/(-6). Which is greater: k or m?
k
Let b = 31 + -93. Let c = b + 65. Suppose 4*n + 4*t = 12, c*n + t = 2 + 3. Which is bigger: n or 3?
3
Let a = 21 - 19. Suppose a*v - 5*v + 4*q = 762, -2*v - 525 = 3*q. Is 0.1 less than v?
False
Suppose 0 = -11*v + 10*v. Let j be 2/3 - 1360/663. Which is greater: j or v?
v
Let k be 6 - ((2 + -4)*-4 + -5). Let a = -21 + 54. Suppose a = -5*f - k*w, f + 3 = 2*w - 1. Do f and -7 have the same value?
False
Let p(z) = 2*z**3 - 5*z**2 + 2*z - 2. Let f be 11 + -3 - (-3 - -7). Let n be p(f). Let j = 215/4 - n. Which is bigger: j or -0.39?
j
Suppose 4640 = h - 2*o - 2410, o = 3. Is h greater than 7054?
True
Suppose 4*b + 3*r - 1 = 0, 3 = -3*b + 4*r + 35. Let z be b/(-348)*(-12)/(-8). Which is bigger: z or -1?
z
Let b = -33 - -42. Let c = b + -7.5. Let s = 12.5 + c. Which is smaller: -1 or s?
-1
Let w = 2017 + -2016. Is -6/1639 equal to w?
False
Let m = -422502/125 + 3380. Suppose 0 = -0*k - 3*k. Do k and m have the same value?
False
Let p be 8/(-6)*(-6)/44. Let h = 0.02 + -4.3. Let t = 0.28 + h. Is t less than or equal to p?
True
Let u = 16152 + -16084.03. Let r = -68 + u. Which is greater: 2/19 or r?
2/19
Let i(m) = m**2 - 14*m + 42. Let x be i(4). Suppose 3*s + x*j + 2*j = 35, -10 = -4*s + 2*j. Is 3 less than or equal to s?
True
Let h = 202.14 + -224.14. Which is smaller: -31 or h?
-31
Let n(q) = q**3 + 18*q**2 - 4*q - 68. Let g be n(-18). Suppose 2*o + 9*v + 2 = 14*v, -5*v - 4 = g*o. Are o and 0.08 nonequal?
True
Let n = -255994871/7035 - -254721/7. Does n = -1?
False
Let o = 836.961 