6*1/72). Which is greater: h or j?
h
Let a(o) = -20*o - 619. Let w be a(-31). Which is bigger: 22/177 or w?
w
Let m = 729 - 579. Do 129 and m have the same value?
False
Let w be 12/(-4) + -1 + 15. Which is smaller: w or 68/7?
68/7
Let a = 7915 + -12308. Which is greater: a or -0.2?
-0.2
Suppose z - 275 = 4*h, 13*h - 2*z = 17*h + 254. Which is bigger: -1920/29 or h?
-1920/29
Let g(f) = f**3 - 5*f**2 - 6*f + 1. Let a be g(6). Suppose 0 = 15*n + 112 - 292. Suppose -n = 5*d + 8. Which is smaller: d or a?
d
Suppose 16*q + 9148 = -36964. Which is smaller: -2883 or q?
-2883
Let w = 20.5 + -90.5. Let b = w + 69. Is 180 smaller than b?
False
Let i(r) = 11*r**2 - 89*r + 41. Let m be i(-19). Which is smaller: 5702 or m?
5702
Let q be 1423494/378 + 18/(-21). Is q <= -1/3?
False
Let i = -58.7 + 368.7. Let b = 310.6 - i. Is b greater than or equal to -6?
True
Let k(z) = 5*z**2 - 2*z - 27. Let g be k(-7). Is g at least 929/4?
False
Let r be (-19 + 15 - (1 - 14))*1. Let z be r/12 - 8/(224/(-1883)). Is 69 at least as big as z?
True
Let v be ((-1)/(-2))/((-15)/(-90)). Suppose t - 2 = 4*q - t, -4*t = -q + v. Let u be 324/(-18)*(-2)/((-4)/q). Which is greater: u or 8?
u
Let s be (-126)/(-231) + (-486)/44. Which is smaller: s or 4?
s
Let r(k) = -k**3 + 25*k**2 + k - 21. Let d be r(25). Suppose 0*p = 4*p - 60. Let b = -18 + p. Which is smaller: b or d?
b
Suppose -750*u - 4312 = -694*u. Suppose 0*k + 5*k - l = 436, 5*k = 3*l + 438. Let i = u + k. Is 10 smaller than i?
False
Suppose 0 = 22*g - 28*g - 402. Let k = g + 65. Let x be (k + 8)*5/(-10). Which is bigger: x or -13/8?
-13/8
Suppose 3*m = 3*q + 15, 5*m + 4*q = 6*m + 10. Let c be (-1 - -56)*10/m. Suppose 3*r + c - 1 = 0. Does r = -18?
True
Let l = -11 - -17. Let y(u) = -u**3 - 3*u**2 + 8*u - 10. Let w be y(-5). Let n be (-3 - 0) + (5 - w) + 0. Is l smaller than n?
False
Suppose -4*u + 1322 = 3*f, -3*u - 58*f = -56*f - 990. Which is smaller: 651/2 or u?
651/2
Let n be ((-3)/(-12) + 0)*-4. Let a be n + 197/6 + (-1)/(-6). Which is smaller: 33 or a?
a
Let n = 3372703/87949992 - -2/108849. Is n at most as big as -1?
False
Suppose -16*i = -20*i - 3*n + 108, 2*n - 80 = -3*i. Are i and 27 nonequal?
True
Let g be 3 - (0 - 3)*6/9. Let c be (-1 + 2/(-10))*g/2. Let w be (2/(-28))/(c/24). Which is bigger: 0.18 or w?
w
Let k = 9874 - 9874. Is -56/505 less than k?
True
Let v be 4/14 - (-86)/(-56). Let h = -149 - -152. Suppose -4*u - h*z = 14, 4*z + 11 = -5*u - 7. Is v at most as big as u?
False
Let t = -33791.9 + 33791. Let f be (-1 - 0)*(-3)/22. Which is smaller: f or t?
t
Suppose -2*q + 248 - 8 = 0. Suppose -2*n - q = -6*n. Suppose 113 = 4*k - 11. Which is smaller: n or k?
n
Let w(h) = 747*h**2 + 174*h + 354. Let c be w(-2). Which is greater: c or 0?
c
Let p = 1373284/15395 + -10/3079. Is p bigger than 90?
False
Let y(z) = -58*z - 8179. Let r be y(-141). Which is bigger: 2/5391 or r?
2/5391
Let n = -926 + 927. Which is smaller: 3/2237 or n?
3/2237
Let t = 21.7 - 85.4. Let m = t - -69.4. Which is smaller: 2/7 or m?
2/7
Let p = -3392 - -1768. Which is smaller: p or -1625?
-1625
Let m = -25547 - -25546.9. Is m <= -21728?
False
Let o(d) = d**2 + 9*d + 10. Let h be o(-8). Suppose -4*p = -m - 14, -7 + 3 = h*m. Suppose 56 = s + p*s. Is 12 greater than s?
False
Let r = -1208.8 + 1208.5. Which is greater: r or 3.34?
3.34
Suppose 2*d - 46 = 64. Let x be -55 - (1/(4/(-8)) - 1). Let o = x + d. Which is smaller: o or 0.06?
0.06
Let t(q) = -3010*q + 9334. Let r be t(8). Which is smaller: r or -14748?
-14748
Let n(o) = o**3 + 20*o**2 + 30*o + 17. Let b be n(-21). Are b and 1/7 equal?
False
Suppose -1 + 5 = 4*j. Suppose 5 - j = -x. Let r be ((-2)/4)/(x - -3). Is 0.3 less than r?
True
Let u be -1 - (1 + 0)*46. Let g = 52 + u. Suppose g*p = -24 + 284. Is p <= 52?
True
Let h = -10 - 33. Let j be 1034/(-24) + 73/219. Which is smaller: h or j?
h
Suppose r + r = 4*w - 134, 5*w = 4*r + 262. Let a(y) = -11*y + 2. Let p be a(6). Are r and p equal?
False
Suppose -486*o + 241*o - 15906 = -267*o. Which is greater: 721 or o?
o
Let t = -75.338 + -0.462. Let j = t + 71. Let h = j + 2.8. Does h = -2/3?
False
Let j be 17 - 16 - -196 - (8 - 0). Which is smaller: j or -16?
-16
Let f = 5 - 4. Let x = 2/63699 + 1465019/1847271. Is f smaller than x?
False
Let i be 64/6*36/16. Suppose 2*c + 5*t - 7 = 0, 3*c + t = -4*t - 2. Let u = i - c. Does u = 33?
True
Let n be (15 + -4)/(3/21). Suppose 3*s - 69 = -3*v, 5*v - n = s - 4*s. Which is smaller: 18 or s?
18
Suppose 0*v + 3*v + 3*h = 1095, 3*v = 4*h + 1088. Is 365 at least as big as v?
True
Let h = -4271 + 17227/4. Let g = h - 34. Do g and -2 have the same value?
False
Let f = -2114 - -1895. Is 3/11 at least f?
True
Suppose -x - 4*t + 62 - 8 = 0, -4*x + t = -216. Let q be x - 3/(15/(-10)). Let u = q + -56. Is u < -16?
False
Suppose 3*v = -30 - 48. Let u(n) = -n - 24. Let w be u(v). Suppose 3*h + 75 = -3*l, 5*h + w*l + l = -123. Which is smaller: -23 or h?
h
Let b = -32.15 - -0.15. Let t = b + 28. Let v = -51 + 51. Is v greater than t?
True
Let g = -6636213/119168 + 23/6272. Is g >= -55?
False
Let u = 0.39 + -0.09. Let c = -0.3 - u. Let h = 1.63 + -0.63. Is h less than or equal to c?
False
Let t = 232.04 + 4.96. Let f = -237.3 + t. Let m = -0.6 + 0.4. Is f less than m?
True
Let s be 4 - (4 + 19) - -18. Which is greater: 1 or s?
1
Let v be (11/7)/((-30)/(-21)). Let a be (1/(-6))/((-36)/216). Which is smaller: v or a?
a
Let a = -163726 + 641363/4. Is a less than or equal to -3386?
False
Let r(z) = 13*z. Let n(i) = -i**2 - 3*i + 2. Let j be n(0). Let u be r(j). Let y = u + -23. Which is bigger: 2 or y?
y
Let d(b) = -2*b**2 + 2*b + 1. Let v(u) = -19*u**2 + 7*u + 36. Let h(z) = -18*d(z) + 2*v(z). Let w be h(-11). Are w and 53 non-equal?
True
Suppose -14*x - 346 = 592. Let b = x - -93. Which is bigger: b or 105/4?
105/4
Suppose 3*h - 4*b + 3060710 = 0, -4*h + 0*h = 5*b + 4080988. Let q = 132630607/130 + h. Let u = 33/5 + q. Which is smaller: 1 or u?
u
Let y = -332942.051 - -332800. Let r = y - -142. Let x = 1.051 + r. Which is bigger: 31 or x?
31
Let z = -32.01 + -63.84. Let p = z + -2.15. Let t = p - -47. Is 0.1 bigger than t?
True
Let s = -65 + 48.67. Let v = 16 + s. Let k = 0.59 + v. Is k <= -0.1?
False
Suppose -5*y - 5*w = -455, y - 3*w + 187 = 3*y. Let o = -45 + y. Let i = o - 38. Which is bigger: 11/5 or i?
i
Let d be 4*(4 - (-31)/4). Let k = -108 - -62. Let f = k + d. Which is smaller: f or -7/16?
-7/16
Let d = 9854/5 - 39381/20. Suppose 3*s + 1 = 4*s. Is s < d?
True
Suppose -2*k - 54 = -5*k. Let i = 19 - k. Is 2/623 at least as big as i?
False
Let p(w) = -w**3 - 9*w**2 + 10*w - 15. Let r = -69 - -59. Let v be p(r). Which is smaller: -162/11 or v?
v
Let r be 18/(-4 - (-50)/12). Suppose z + 4*o + 0*o = 21, -4*o = 4*z - r. Let j = z + -15. Which is smaller: j or 15?
j
Suppose -82*d + 55*d - 1998 = 0. Is d at least as big as -74?
True
Let u = -13879 - -16060. Is u > -2?
True
Let p = 4660 - 4709. Is p != -840/17?
True
Let l(b) = b**3 - 9*b**2 - 10*b - 6. Let s be l(10). Let t = -171015848281/1820 + 93964758. Let y = -1/364 - t. Which is smaller: y or s?
y
Suppose 5*n - 35 = 4*a - 6, 25 = -5*a + 4*n. Let c be -25*a/(-2)*-2. Suppose c = -b + 5*v, 3*b = -b + 2*v - 10. Is b <= -1/3?
False
Let i(u) = -u**2 - 4*u + 48. Let f be i(-9). Let b be f + -8 - (-6 + -2). Are b and 43/13 non-equal?
True
Let v(g) = -4*g - 2. Let d be v(-3). Suppose 4*b + d = -3*f, -3*b + 6*b - 3 = 3*f. Let q be ((-4)/(-5))/(b/12). Are q and -9 nonequal?
True
Let x = -1.6 - -8.2. Let o = -271 + 264.3. Let k = o + x. Which is greater: k or 0.43?
0.43
Let s be (8/(-10))/((-12)/30). Suppose c - 4*z - 4 = 0, c - 1 = -s*c + z. Let k = 2/207 - -601/2070. Which is smaller: c or k?
c
Let p = 19165 - 38307/2. Let b = 10 + 1. Do p and b have the same value?
False
Let k = 199/61 + -13801/4941. Is k < 1?
True
Let o = 253 + -551. Let z = -432 - o. Let f = z + 811/6. Is f < 2?
True
Let w be (-408)/(-3) - (67 - 58). Which is greater: w or 130?
130
Suppose 0 = 5*h + 2*i + 146, -2*i + 100 = -3*h + 3*i. Let s be ((-119)/238)/((-1)/(-59)). Which is smaller: s or h?
h
Suppose -2*b - 77 = 5*u, -2*b + 3*b - 4*u = -32. Let o = b - -72. Let g be (0/(o/6))/((-4)/(-2)). Is 2/17 greater than g?
True
Suppose 2*q + f = -2*q + 18, 3*q + 2*f = 16. Suppose -18 = -3*h - g, -h + 10 