. Which is smaller: g or -294?
-294
Let q = -251 + 144. Which is smaller: q or -108?
-108
Let b = -82 - -82.063. Let o = b + 4.637. Is 1 smaller than o?
True
Let j = -121.1 - -21.1. Let x = 100 + j. Let n = 0.5 - 3.5. Is x equal to n?
False
Suppose -2*t - 8 = 4. Let k = -3 - t. Suppose 0 = 2*q + k*q. Which is greater: 4/5 or q?
4/5
Suppose -t - 1032 = 5*v, 2*v + 410 = -16*t + 17*t. Which is smaller: -205 or v?
v
Let z = -4123/144 - -256/9. Let t be 267/(-890) - (-6)/20. Which is bigger: z or t?
t
Let p(k) = -k**2 + 5*k + 5. Let s be p(5). Suppose 5*z + 5*o - 45 = 0, -2*o + 53 - 17 = s*z. Let q be 0*1*3/z. Which is smaller: q or 2/27?
q
Let m be 301/(-2) + (-23)/46. Which is greater: -150 or m?
-150
Let p be ((1 - -8) + -9)/(-2). Is p equal to -15/32?
False
Suppose 5*i = -4*p - 260, i + p + 38 = 3*p. Let y = i - -48. Is -3/13 less than y?
True
Let f(r) = -3*r + 79. Let l be f(27). Is -160 less than or equal to l?
True
Let x = 61 - 58. Suppose 0 = a + 5*v + x - 2, 0 = -v. Which is bigger: a or -2?
a
Let b(k) = -15*k**3 + 3*k**2 - 18*k - 46. Let o be b(-3). Which is smaller: o or 439?
439
Let o(b) = 3*b + 8*b**2 + 4*b**3 + b - 18 - 3*b**3 - 24*b**2. Let k be o(16). Is 47 <= k?
False
Let g = 16 + 97. Let o = 1013/9 - g. Let z(q) = q**3 + q**2 - q. Let y be z(0). Which is smaller: o or y?
o
Let q be ((-63)/(-4382))/(33/88). Is q > -1?
True
Let s be 831/570*-6 - -9. Is s at most 0?
False
Suppose 0*t + 3*x = 3*t - 12, 0 = -3*t + 2*x + 13. Let g(v) = -2*v + 3*v + t - 4 - 3. Let h be g(3). Which is bigger: 1/10 or h?
h
Suppose 51*r - 56*r - 64 = s, 0 = -s - 2*r - 67. Which is greater: -489/7 or s?
s
Suppose -3*i = 3*x - 15, -x + 5*i - 17 = -2*x. Suppose -x*w = -7*w. Is 10/13 equal to w?
False
Let z be (0 - (-32)/(-20)) + 18/30. Which is greater: -3/518 or z?
-3/518
Let c = -8 - -7.71. Let p = -0.01 + c. Which is smaller: 0.1 or p?
p
Let i(b) = -b**2 + 6*b. Let y be i(7). Let n be (2 + -2)/(14/y). Is -34 != n?
True
Let z = -606.985 + 607. Is 3 >= z?
True
Let q(k) = -2*k**2. Let c be q(-2). Suppose -3*l - 30 = -5*b, 0 = -13*l + 16*l - 3*b + 30. Is c at least as big as l?
True
Let q = -0.09 - -11.09. Let j(b) = 11*b - 10*b + 8*b**2 + 11*b + b**3. Let h be j(-6). Do h and q have the same value?
False
Let m = -9.8 - -10. Let d be 2*-2 + (-187)/(-44). Is d greater than or equal to m?
True
Let v(f) = -4*f**2 - 5*f + 3. Let d be v(-4). Let l be ((-210)/25)/(0 - (-2)/10). Is l != d?
True
Let g(c) = 20*c + 177. Let k be g(-10). Which is greater: -30 or k?
k
Let y be (-1848)/102*(-4)/8. Which is smaller: 9 or y?
9
Let h = 62 - 36. Suppose 0 = -195*k + 204*k - 18. Suppose -k*n - n + 5*g + h = 0, -3*g = 12. Are 2 and n nonequal?
False
Let i(b) = -5*b + 18. Suppose 3 = -2*w - 5, 0 = 5*y - 5*w + 15. Let f be i(y). Are 53 and f non-equal?
False
Let n be -3 - (12/(-42) - (-2277)/(-777)). Is -1 at most as big as n?
True
Let t(o) = o**2 + o - 21. Let x be t(-6). Let q = 14 - 4. Is x bigger than q?
False
Let a = -88/465 - 1/93. Is -11 > a?
False
Let i = -2997829/98013 - -247/883. Let h = -91/3 - i. Is 1 at least h?
True
Let z = -0.26 + -5.34. Let v = 11.6 + z. Which is bigger: 0.3 or v?
v
Let l = -68895/4 + 1325945/76. Let m = -223 + l. Is 2/5 not equal to m?
True
Let a(v) = 2*v**2 - 7*v - 5. Let l be a(-1). Let n(d) = d**2 + 6*d + 7. Let t be n(-6). Let c = -4 + t. Is l > c?
True
Let t(v) be the second derivative of v**3/3 - 2*v**2 + 4*v. Let m be t(8). Let n be (-1*3)/(18/m). Which is smaller: n or 0.01?
n
Let r = 0.59 + 56.41. Suppose -x - 4*t - 25 = 0, 3*x = -66*t + 61*t - 33. Which is smaller: r or x?
x
Let o be 14*-5*(-4 + 1)*1. Is o less than 209?
False
Let n = 687 + -677. Is 2 >= n?
False
Let f(p) = 7*p**2 + 18*p - 39*p + 16 - 3*p**2 - 3*p**2. Let t be f(20). Which is smaller: t or -13/4?
t
Let u = 330 + -331. Which is bigger: u or -167?
u
Suppose -10 = 3*c + 2*t, 0*c + 2*t + 10 = 5*c. Which is smaller: c or -1/82?
-1/82
Let d = 1.58 + 0.02. Let a = -2.6 + d. Let l = a + 3. Are -4 and l non-equal?
True
Let t be (9/(81/(-42)))/(2/(-102)). Which is greater: 237 or t?
t
Let y(s) = s**3 - 26*s**2 - 125*s + 145. Let c be y(30). Let d = 3 - 5. Is c smaller than d?
True
Suppose -3*s - 19 + 1 = 0. Let c(t) = -t**2 - 9*t - 6. Let d be c(-8). Is d > s?
True
Let o(m) = 2*m + 8. Let i be o(-6). Let a be (-30)/99*(i + -2). Let c = a - -15/22. Which is smaller: 4 or c?
c
Let c(p) = -p**3 + 6*p**2 - 15*p + 50. Let h be c(5). Which is bigger: 7/37 or h?
7/37
Let x be 0/(((-2)/(-2))/(-4 + 5)). Let j(t) = -t**2 - 7*t. Let a be j(-5). Let w be 2/a - x/(-2). Are -1 and w equal?
False
Suppose 2*z + 2*s = -46 - 12, -2*z - 4*s = 56. Let i = -26 - z. Let t be 220/(-72) - (i - 7). Is 1 greater than or equal to t?
True
Let m be (0 - 1)/((-7)/(68 + 2)). Which is bigger: m or -0.2?
m
Suppose 0*p - 50 = -5*p. Suppose -p*o + 464 = -2*o. Is 58 at most as big as o?
True
Let i be -1 - (10/(1 - 6) - -6). Which is greater: i or -10?
i
Let w = 52/5 - 552/55. Is w < -1?
False
Let f = 33.76 - -0.24. Let p = 34.01 - f. Are p and 3 equal?
False
Suppose 4*c + 55 = -5*s, -c - 4*s + 0*s = 11. Let t be (-57)/((-1)/(-2 - 35/c)). Is t at least 22?
False
Let l(g) = 18*g - 6. Let m be l(-1). Let r be 14/m - 2*3/24. Is r at most -2?
False
Suppose 4*c + c = 3*x + 19, -c + 4*x = -14. Suppose -c*w + 5*w = 12. Do 1 and w have different values?
True
Let d = -1003 + 1000. Let v be (-14)/3*6/(-4). Suppose 2*w = 5*f - 15, -4*w - f - v - 12 = 0. Which is bigger: d or w?
d
Let o(g) = -4*g - 5. Let v(c) = -c**3 + 15*c**2 - 17*c + 41. Let h be v(14). Let d be o(h). Is 2/53 at least as big as d?
True
Let t = -217 - -212. Which is greater: t or -21/5?
-21/5
Let s(d) = -10*d - 7. Let q be s(17). Let j = q - -173. Which is smaller: -27/10 or j?
j
Let u be (-2 - 2) + 5 + -3. Do 34/9 and u have the same value?
False
Let b be ((-11)/22)/(4/24). Which is bigger: b or -39/10?
b
Let d(q) = 13*q - 7. Let g be d(2). Suppose -1 = 5*h + g. Is h at most -6?
False
Let i = 0.28 - 0.04. Let w = i - 2.64. Let a = w - -0.4. Which is greater: a or -0.2?
-0.2
Let v = -1309348 + 189856613/145. Let b = 132/29 - v. Which is smaller: b or -1?
b
Let o be (3 + -2)*1 - 0. Let d = 0.2 + -4.2. Let u = -4.3 - d. Is o at most u?
False
Let y = 2 - 1. Suppose 1 = 7*h - 6. Let v be h/(-2)*0/(-2). Is y > v?
True
Let t(d) = -7*d - 85. Let y be t(-12). Is -3/95 <= y?
False
Let o be 16/(-40) - 21/10. Let d be 25/10*(-24)/(-15). Suppose 0 = d*g + 4*y + 16, y - 4 = 5*g - 2*y. Which is bigger: o or g?
g
Let q = 27.044 + -0.044. Let j = q - 30. Let l = 15 + -15. Is l equal to j?
False
Let m(y) = 3*y**3 - 24*y**2 + 2*y - 24. Let g be m(8). Is 10 less than g?
False
Let w be 0 + (0 - 0)/3. Suppose -3*a + 42 = 2*j - 4*a, -5*j - 5*a = -105. Suppose w = -j*m + 25*m. Which is smaller: 2/5 or m?
m
Let l = 5/26 - 32/65. Let h be (6/9)/((-10)/15). Which is smaller: h or l?
h
Let a = -43 - -71. Suppose 0 = 2*z - 2*d - a - 30, 0 = -4*d - 20. Suppose -23*t = -z*t. Is t less than or equal to 0?
True
Let p = 158 - 8. Let o = p - 149. Suppose 2*z - 1 - 3 = 0. Does o = z?
False
Suppose 2*h - 25 = 1. Suppose 3*z + 0*z + h = -x, -4*x - 25 = 3*z. Let j be (z/(-15))/(3/15). Which is greater: 1/6 or j?
j
Let k be (2/(-1))/((-8)/(-1580)*5). Let w = -79 - k. Are -12/19 and w non-equal?
True
Let b = -230 + 237. Do 7 and b have different values?
False
Let o = 9.4 + -1.5. Let z = -2 + 10. Let r = z - o. Is r at most 9?
True
Let w = -1.23 + 44.23. Let c = w + -42.2. Which is smaller: c or 0.2?
0.2
Let s be ((-10)/(-5))/(2/4). Suppose 0*n - 4*h + s = -n, -2*h + 42 = 2*n. Suppose -1 = -5*t - 3*c + 3, -4*c + n = -4*t. Which is smaller: t or -2/13?
t
Suppose -18*z = -68 + 14. Let h = 0 - 0. Suppose -z*r - 3 = 4*d, -2*d + 3*r + 3 + 0 = h. Does d = 1/13?
False
Let r = 897 - 865. Let l(t) = -t + 33. Let g be l(0). Is g bigger than r?
True
Let p = 15284/5 + -3070. Which is greater: -14 or p?
p
Let t(r) = -r**2 - 10*r + 24. Suppose 5*a - 3*a = -22. Let q be t(a). Let o = q - 14. Is -2/19 at least as big as o?
True
Let s be 4/((-1952)/1465) - -3. Let x = s - -107/122. Which is greater: x or 0?
x
Let a = 373 + -374. Which is smaller: a or -9/41?
a
Let f be 0 - 4 - 387/(-36). Does 8 = f?
False
Suppose -24*z + 189 = 21. Let c = 8 - 6. Which is smaller: z or c?
c
Let w(j) = 10*j**3 + j**2 + j + 1. Let y