reater: c or 3/20?
3/20
Suppose -3 + 4 = m. Let r = 0.298 - 0.028. Let s = r - 0.27. Which is bigger: m or s?
m
Let s(d) = -6*d**3 - 5*d - 3. Suppose -7*g - 30 = 8*g. Let h be s(g). Is h > 56?
False
Let q = -194 - -596/3. Suppose -35 = -6*n - 11. Suppose 0 = 3*x + 5*l - 28, 3*l - n*l = -5*x + 28. Which is smaller: x or q?
q
Let i(y) = y**2 - 9*y + 19. Let h be i(0). Which is smaller: 26 or h?
h
Let x be (-1)/13*(-11952)/(-9). Let f = 102 + x. Does f = -3?
False
Let s = 423 + -404. Is s bigger than 16?
True
Suppose -5*f + 298*j = 300*j + 31, 0 = 4*j + 12. Let y = 97 + -183/2. Let m = -11 + y. Is m greater than or equal to f?
False
Let u be -553*9/(-10836) + (-2)/8. Is 0 != u?
True
Let l be (6*(-2)/414)/((-2)/(-3)). Is -1 at least l?
False
Suppose 2*n + 294 = -32*s + 31*s, 4*s - 8 = 0. Which is bigger: n or -143?
-143
Let x = 46 + -45. Let t = -12828/19 - -675. Is x <= t?
False
Let o = 20 + -19.6. Let d = 10 - 8. Does d = o?
False
Suppose -31*h - 14 = -45. Which is smaller: h or 4/1241?
4/1241
Let l = 763/165 + -53/15. Let x = 1 - l. Which is greater: x or 1?
1
Suppose 4*f + b + 719 = -168, 2*f - 3*b + 447 = 0. Which is greater: f or -224?
f
Let m be 4/8*106 + 0/11. Which is smaller: 51 or m?
51
Let z = -4.84 - -5. Let c = 211.26 - 211. Let b = z - c. Is b smaller than -7?
False
Let c = 26 + -25.87. Let f = c + -0.43. Let u = -0.3 - f. Which is bigger: u or 1?
1
Let o be (2 + (-106)/50)*130/(-247). Which is greater: o or -1?
o
Let o be 452/18 - (-30)/135. Let n = o - 382/15. Suppose 0 = 2*r + 2*f - 10, -3*f + 9 + 6 = -5*r. Which is smaller: r or n?
n
Let i = 10.8 + -83.8. Let s = 74 + i. Which is bigger: 0.33 or s?
s
Let r = 1.477 - 75.477. Are -1/2 and r nonequal?
True
Suppose 8*n = n - 112. Let o be (-2)/(-10)*n/32. Which is greater: o or -1/3?
o
Let b be (-1746)/(-63) + 4/(-2). Which is bigger: b or 25?
b
Let n = -9.2 - -0.2. Let j = -5/2 - -2. Is n at least j?
False
Suppose -2*g + 9 = -3. Let n(j) = -j - 16. Let b be n(-15). Let t = 8 + b. Are g and t nonequal?
True
Suppose 4*w - 353 = -3*m, -2*w = -3*m - 140 - 41. Let y = 90 - w. Which is greater: 12/17 or y?
y
Suppose d - 25 + 63 = 0. Suppose 0 = -5*p - 2 - 23, p = 2*b + 71. Is b at least d?
True
Suppose -2*o + 73 = -5*g - 366, -3*o + 656 = -5*g. Which is smaller: 215 or o?
215
Let b = -768337/7 + 110008. Let h = b - 246. Are -1 and h non-equal?
True
Let n be (-256)/10 - 57/(-95). Is 1 >= n?
True
Suppose 0 = 3*v - 2*v + 3. Let c be 0/(-1*6/v). Suppose 3*r = -c*r. Is -1/16 smaller than r?
True
Let o(d) = 2*d**2 + 47*d - 24. Let s be o(-24). Which is smaller: -2/481 or s?
-2/481
Let x = -28 - -36. Let n be (x/(-6))/(40/(-180)). Suppose 7 = 3*f - 14. Is n > f?
False
Let a be ((-5)/3)/(3/(-18)). Suppose o + a = 2*t + 25, -51 = -5*o - 2*t. Is o at most 11?
True
Let y be ((3 - 3)/(-3))/((-2)/(-2)). Suppose z - 10 = 4*u - 0*u, y = -4*z - 3*u - 17. Let a be -2*(-2)/4*-4. Are a and z equal?
False
Let l = 21.9 + 5.1. Let q = l + -16. Let n = -11 + q. Which is greater: -1 or n?
n
Let g be ((-4)/(-644))/(6/7). Is g less than 1?
True
Let m = 231 + -215. Which is greater: m or 15?
m
Suppose 7*f = -25 - 10. Is f bigger than 20?
False
Suppose 6*p + 3*u + 100 = p, 4*u + 3 = p. Let w be -4 + p + 3 + 3. Which is greater: 1 or w?
1
Let a be ((-65)/(-35) + -2)*-67. Is 10 less than a?
False
Let x = -328/561 - -2/51. Let t be (1 - (-2 + -1)) + -13. Is x smaller than t?
False
Suppose 13*h - 11*h + 280 = 0. Let y = -285/2 - h. Which is bigger: y or -0.05?
-0.05
Let n = 267 + -269. Let i = -0.2 - -0.14. Are i and n equal?
False
Let q = -0.027 + 120.027. Let b = q + -118.06. Let a = b - -0.06. Is a greater than 0.5?
True
Let v = 0.181 - -107.819. Is -1 at most as big as v?
True
Let h(w) = -w**3 - 2*w**2 - w - 1. Let s = -62 - -61. Let z be h(s). Which is smaller: z or -1/63?
z
Let o = 2.1 - 0.1. Let i = -1.9 + o. Which is greater: 0.05 or i?
i
Let t = 8.613 - 0.013. Let s = t - 6. Let f = s - 6.6. Is -0.3 at most f?
False
Suppose -2*x = c - 5*c + 636, -4*c + 322 = -x. Let w = x - -1577/5. Is 1 > w?
False
Let i be 6/(-4) + (-18)/12. Let n be ((-3)/(-4))/(0 - i). Which is smaller: n or -1/4?
-1/4
Let z = 3013 - 213928/71. Are z and 1 equal?
False
Suppose 9*a - 2 = -2*c + 5*a, c + 3*a = 0. Suppose 5*z + 38 = c. Which is greater: z or -8?
z
Let f = 17 + -17.1. Let k = 270.4 + -270. Which is smaller: k or f?
f
Let n = 10987/19940 + -1/997. Let f be (2/6)/(2/3). Let o = n - f. Is o at most 1?
True
Let y = -0.054 - -0.804. Let v = y - 27.75. Which is greater: v or -1?
-1
Let r = 790/11 - 72. Let s(z) = 2*z**2 + 5*z + 3. Let u be s(-4). Let f = u - 11. Is r < f?
True
Suppose 0 = 4*h - 10 - 22. Let d = 14 - h. Which is bigger: -2/9 or d?
d
Let g be 261/((-9)/(-3))*-1. Let p = 347/4 + g. Suppose -2*b = -4*d - 22, 6 = 3*b - 3. Which is smaller: p or d?
d
Let d = 0.48 + -0.38. Does d = 7/2?
False
Suppose 0 = j - 4*j + 9. Suppose 4*r - 946 + 2806 = -4*y, 2*r - 1420 = j*y. Let c = y + 11748/25. Do c and -1 have the same value?
False
Let v(l) = -3*l**2 + 6*l - 5. Let t be v(1). Is 4 not equal to t?
True
Let t(n) = -2*n + 13. Let s = -1 + -3. Let m(f) = -4*f - 8. Let p be m(s). Let z be t(p). Is z at least -3?
True
Let p be (-28)/(-35)*(-5)/(-2). Suppose 0 = -3*i + p*w + 1, w + 22 = 2*i + 5*w. Let n = i + -3. Is 2/5 at least as big as n?
True
Let y = 9 - 12. Let o be (-6)/y*(-39)/(-6). Which is smaller: 14 or o?
o
Suppose -3 = 5*i - 23. Suppose 0 = -0*s + i*s - 48. Is 12 at most s?
True
Let m = -0.6 + -1.4. Let h = -4.0627 - -0.0627. Is m greater than h?
True
Let q = 86 - 87. Let s(o) = o**3 + 9*o**2 - 11*o - 12. Let k be -1 + (-2 - -1) - 8. Let v be s(k). Which is smaller: q or v?
v
Let h be 2/2*(9 + 24). Let r be ((-11)/h)/((-2)/6). Is r > 1/17?
True
Let p be 4 - (5 - (-24)/(-42)). Let l = p + 37/119. Suppose -5*j + 5 = -0. Which is smaller: l or j?
l
Let l = -10 - 6. Which is bigger: -13 or l?
-13
Let o be 92/(-138)*(-3)/(-2). Do -46 and o have the same value?
False
Suppose 54 = -5*p - 4*o + o, -4*p - 2*o - 42 = 0. Let q(x) = -7*x**2 - 12*x + 1. Let s be q(-2). Which is greater: p or s?
s
Suppose -3*j + 9 + 8 = 5*l, 4*j = -2*l + 18. Let s be (1/j)/(7 + 81/(-12)). Which is smaller: s or 3/7?
3/7
Let s be (1 - (-1)/(-2))*2. Let j = -119 + 110. Let x be ((-12)/j + -1)/(279/27). Are s and x equal?
False
Let n be (-4)/(-18) + 78484/(-18081). Let a = n + 29/7. Is a at most 0?
False
Suppose o + 3*f = -0*o - 13, 0 = -2*o + f + 9. Is o < -2.5?
False
Let w be (7 + 248/(-8))*(-10)/(-8). Let o be ((-2)/w)/(12/(-40)*-2). Which is greater: -0.01 or o?
o
Let u = -2 + 4. Let k = u - -3. Suppose 5*v = 3*d, 0 = -k*d - 25 - 0. Is v at most -1?
True
Let p(i) = i - 40. Let l be p(9). Let d be (l/(-31))/(1/2). Which is smaller: 38/11 or d?
d
Let p be (26/(-8))/((-6)/8). Let k(j) = -j**2 - 5*j + 16. Let n be k(-7). Let y be (n/5)/((-17)/(-170)). Is y smaller than p?
True
Let b = -10.9 - -11. Let r = b + -2.1. Let i = 8.2 + -2.2. Is i >= r?
True
Let f be (12 - 8)*(-9)/(-72). Let d be 9/(-7) + (-8)/(-28). Let o be (-5)/4 + 0 + d. Which is greater: o or f?
f
Suppose 0*p - 5*p + 25 = 0. Let k be (-5)/p - 2*-1. Let a be (k/2)/((-2)/(-4)). Is a less than 1?
False
Let o = -1.6 + 0.59. Let p = o + 0.01. Let r = 0.2 + -0.1. Are p and r nonequal?
True
Let g = 3 + 17. Let n = -803.9 - -804. Which is bigger: g or n?
g
Suppose 5*v = -2*n - 50, -3*n + 0*n = 4*v + 89. Let o be n/(-15)*(-1 + 4). Which is bigger: 9 or o?
9
Let s = -33 - -41. Let h be (s/(-12))/(4/3). Is -1/5 greater than or equal to h?
True
Suppose 9*s = 78 + 48. Which is smaller: s or 130/9?
s
Let n be 4*(6/24 + 60/16). Suppose -7*p + 68 = -3*p. Which is smaller: n or p?
n
Suppose -69*k + 60*k = 1854. Does k = -205?
False
Let r = 1159 + -180. Do r and 980 have the same value?
False
Suppose 5*s + 389 = 104. Let b = 34 + s. Is b greater than or equal to -24?
True
Let t be ((-6)/(-7))/(11/(-77)). Let a(f) = -f**3 - 5*f**2 + 4*f - 5. Let j be a(t). Is j greater than or equal to 8?
False
Let d be 1/(1 + 22/(-10)). Let s = 1244 - 1245. Which is bigger: d or s?
d
Suppose -5*i = -3*c + 62, 17 = 4*i + 3*c + 45. Let y = -80 - 16. Let j = y + 87. Is i > j?
False
Let a(o) = o**2 + 39*o - 40. Let y be a(-40). Let w(t) = t**2 + 0*t**2 - 28 + 2*t**3 - 3*t**3. Let d be w(y). Which is bigger: -29 or d?
d
Let u(l