ater: h or 6?
6
Suppose -3*j - 2*c = -286 + 295, -2*j - 5*c = 28. Let d be 0/2 + (-15)/(-17). Which is smaller: j or d?
d
Suppose s = 2*r + r - 32, 0 = -4*s + 4. Suppose -2490 = 6*q - r*q. Let v be q/(-348) - 3/(-2). Which is smaller: v or -1?
-1
Let m be ((-6)/(-4))/((-1)/(-4)). Let y(k) = 6*k - 12. Let a(n) = -3*n + 7. Let z(r) = 5*a(r) + 2*y(r). Let v be z(m). Which is bigger: -4 or v?
-4
Let p(j) = j**3 - j**2 + j - 2. Let x be p(-2). Let c = 9 + x. Let u be (16/36)/2 + 385/(-45). Which is bigger: c or u?
c
Let h be 12/(-232)*2/21. Let r = 423/3451 + h. Is 1 not equal to r?
True
Suppose -k - 2 = 0, -u + 7 = -5*k - 8. Let q(i) = i**2 - 3*i - 2. Let w be q(5). Suppose 2*a = -w*z + 6*z - 2, 0 = 4*a + 12. Which is smaller: z or u?
z
Suppose 2*j = 2*h + 8, 5*h = -5*j + 26 - 6. Suppose 12*o = j*o - 16. Which is bigger: o or -19/6?
o
Let h be 5 + 27940/(-16632)*(4 + -1). Is h < 1?
True
Suppose -31 = 13*n - 18. Is n at most as big as 3/61?
True
Let d = 1354 - 1353. Is 21/11 less than d?
False
Suppose 3*y - 4*h = 7, 8*h = y + 4*h + 11. Suppose -3*w = -3*c, 2*w - 1 - y = 4*c. Let k(o) = -o**2 + 7*o + 4. Let z be k(8). Is z at most w?
False
Suppose -4*p + 5*m = 50 - 28, 2*p = -3*m. Does p = -3?
True
Let s = -979/4 - -245. Are 595 and s equal?
False
Let m = 27 - 7. Suppose -7*j - m = -12*j. Suppose -y = j*y. Which is smaller: 2 or y?
y
Let z = 0.5 + -3.5. Let x be 2/6 - 15/(-9). Let k be (1 - 0/x) + (-5)/7. Are z and k equal?
False
Let k(s) = s**2 - 7*s - 13. Let a = 13 - 10. Suppose 5*f - z = a*z + 44, -3*f = -5*z - 29. Let v be k(f). Is v < -5?
False
Let a = 2.48 - -0.62. Let q = 3 + a. Let p = 1.1 - q. Is -0.1 at most p?
False
Let u(f) = 8*f**3 + f**2 - 7*f + 2. Let r be u(3). Let x be r/(-42) + 3/(-7). Do -5 and x have the same value?
False
Suppose 7*q + 50 = -3*q. Let w(o) = -o**2 - 5*o - 3. Let k be w(q). Does k = -4?
False
Let u = -24 + 23.11. Let a = 0.01 - u. Let s = a - 1. Is s equal to 7?
False
Let o = -675/4 + 14135/84. Which is bigger: 0 or o?
0
Let u = -3 + 9. Let s(x) = x**2 - 4*x - 7. Let t be s(u). Let v = t - 1. Which is smaller: v or 3?
3
Let q be -98*8/(-48) - (-1)/(-3). Which is smaller: q or 10?
10
Let r(t) = -t + t**2 - 7*t - 2*t**2 - 18 - 13*t. Let i be r(-20). Suppose -4*z = -4 - 8, i*h - z = 13. Which is smaller: h or 9?
h
Suppose 3*r = -6 - 0. Let k be ((-17)/(-102))/(11/r). Is k equal to 0?
False
Suppose 2*r + 457 = -79. Is -266 greater than or equal to r?
True
Let o be (-183)/21 + 4/(-14). Let a be (-8)/(-114)*o/(-6). Let v = 6.2 + -6.1. Is a <= v?
False
Let a(t) = -27*t + 56. Let z be a(2). Let y be 4/3*(-9)/(-40). Let q = -19/30 + y. Is z at most as big as q?
False
Suppose 1776 = -33*n - 15*n. Is n at most as big as -37?
True
Let b be (2/(-6))/((-10)/(-15)). Suppose -2*n + 2*r = 10, -2*r = -r - 1. Let j be 0*((-9)/2 - n). Are b and j unequal?
True
Let c = 10.2 + -31.8. Let j = c + 20. Let b = 0.6 + j. Which is smaller: b or 0.07?
b
Let i = -35.4 - 5.6. Let h = -66 - i. Which is smaller: -0.1 or h?
h
Let r(o) = -37*o**2 - 2*o - 1. Let h be r(-1). Let n = h - -37. Which is smaller: -1/17 or n?
-1/17
Let w = -26.7 + -8.3. Let b = w + 36. Is 1/16 != b?
True
Let z = -43.0603 + 0.0603. Which is smaller: -0.3 or z?
z
Let t = 6 - 6. Suppose t = 3*d - d - 18. Suppose y + 2*y - d = 0. Which is smaller: y or 8/5?
8/5
Let m(b) = -b**3 + 47*b**2 - 209*b - 43. Let s be m(42). Which is bigger: s or 10/161?
10/161
Let t = -3.93731 + 0.01431. Let p = -0.077 + t. Let s = 0.3 + -0.5. Which is bigger: p or s?
s
Let s(k) = -k + 22. Let m(p) = -2*p + 45. Let x(y) = -2*m(y) + 5*s(y). Let d be x(19). Which is bigger: 2 or d?
2
Let q = 686 - 709. Is q equal to -43?
False
Let v be (-3)/(-7) - 48/(-84) - 19. Is v < -52/3?
True
Let u(g) = -g**2 + 2*g + 8. Let l be u(-2). Let y be -6*(44/6)/(l - 1). Which is greater: 43 or y?
y
Let b = 2/5419 - -10680/428101. Which is smaller: b or 0?
0
Let g be -119 + (7 - 11 - -11). Are -113 and g non-equal?
True
Suppose 14*a + 116 = 10*a. Let v = a + 17. Let o be (-4)/1*3/v. Is -1 at most o?
True
Let g be 6 - 81/15 - (-606)/15. Which is smaller: 46 or g?
g
Let w = 40.8 + -39.8. Which is smaller: 347 or w?
w
Let t = -23.116 + 1.116. Is 3/4 > t?
True
Suppose -5 = -47*o + 52*o. Let p be (o - 0)*(2 + -3 + 0). Is p less than 5?
True
Let r be (102/(-30) - -7)*740/12. Is r at least 221?
True
Suppose 0 = -f - 39 + 35. Let r be 20/6*(-4 - (-25)/10). Which is bigger: f or r?
f
Let z be (-10)/3*30/20. Which is bigger: -7 or z?
z
Let u be 2/6 + ((-4360)/45 - 3). Let i = 10396/99 + u. Is i greater than 6?
False
Suppose d + 22 + 18 = 4*s, -3*d - 5*s - 35 = 0. Let b = -2 - -2. Let t be b + (d/6 - -3). Which is smaller: t or -1?
-1
Let b be (-2800)/440*(-2)/10*6. Is 8 not equal to b?
True
Let z(p) = -p**2 + 14*p - 33. Let s be z(11). Does s = 3/331?
False
Let z = 1412.9 - 1486. Which is greater: z or 0.1?
0.1
Let i(j) = 9*j - 29. Let c be i(30). Is c greater than or equal to 240?
True
Let n = 0.1201 - 0.0201. Does 0.0748 = n?
False
Suppose 0 = 6*a - 2*a + 904. Is -226 smaller than a?
False
Let u = -5 + 10. Suppose 0 = -2*d + 2*a + 2*a - 6, -5*a = -u*d. Suppose -h - 2 = -d. Is -9 equal to h?
False
Let h(s) = -47*s**3 - 3*s**2 - 4*s - 2. Let i be h(-3). Let y = 28802/23 - i. Suppose 4*b = -5*u + 3*b - 5, 5*u - 5*b + 5 = 0. Is u <= y?
True
Let z = -31 + 91/3. Let f be 4/(-102)*(-1149)/26. Let o = -21/13 + f. Is z less than or equal to o?
True
Suppose q + 3 - 7 = 0. Suppose -5*a + 0*a + 5*r - 5 = 0, 5*a - 4*r + q = 0. Let i be -1 - (68/(-16) - -4). Is a > i?
True
Suppose -u - 3*s + 8 = 0, 0*s = 5*u - 2*s + 11. Let n be (u + -17)*40/12. Which is bigger: n or -62?
n
Let a = -55 + -63. Let c = a - -1296/11. Is c at least 0?
False
Let q = 145.22 + -145. Is -0.1 >= q?
False
Let t = 219 + -218. Does t = 10?
False
Suppose -551*o = -572*o + 1176. Let q(b) = 27*b + 1. Let f be q(2). Which is smaller: f or o?
f
Let v = -0.09 + 0.1. Let z = 0.09 + v. Let b = 19/2 - 125/14. Is z >= b?
False
Let w(y) = 7*y + 208. Let f be w(-27). Which is smaller: 8 or f?
8
Let t be -1 + 1 - (-2)/(-44). Suppose -38*p + 15*p = 0. Which is bigger: t or p?
p
Let i = 26 - 24. Suppose 0 = q + 2*j - 1, 5*q + 7*j - i*j = 30. Let v = 13 - q. Is v less than or equal to 15/8?
False
Let t = 509 - 503. Let j = -0.03 + 3.03. Let l = j + 0. Is l equal to t?
False
Let l = -139/8 - -23. Which is greater: l or 7?
7
Let t = -2.43 + -0.67. Let o = t + 2.9. Which is greater: 0 or o?
0
Let l be 3*(-1)/(-6) - (-45)/(-170). Let y = -280.8 + 281. Is l bigger than y?
True
Suppose -2*g + o + 5 = 0, 3*g - 2*o + 8 = 8*g. Let a be (-220)/(-18) + (-4)/18. Let b be ((-3)/a)/(g/(-12)). Is b less than or equal to 3?
True
Let l(f) = f**2 - 10 - 3 - 19*f + 5*f. Let i(g) = -g**3 - 3*g**2 + 2*g + 7. Let b be i(-4). Let q be l(b). Is -3 equal to q?
False
Let m = 0.3 - 0.4. Let t = -0.002 + -0.08. Let y = t + 0.282. Is m less than y?
True
Let d = 60 + -85. Let s = d + 24.6. Let k = 7 + -6.9. Which is smaller: s or k?
s
Let a be (-39)/26*(-3 - (-3241)/1071). Let l = -1 + 1. Which is smaller: a or l?
a
Let d = -6.2 - -6.6. Is -31 bigger than d?
False
Let y = -145/2 - -944/13. Is 1 at most as big as y?
False
Let c = -2.1 - -2. Let t be (12/16)/((-9)/8). Let g = -7/6 - t. Do c and g have different values?
True
Suppose -5*x - 2 - 3 = 0. Let m be (1/(-1))/(5/20). Which is bigger: m or x?
x
Let g(z) = z**2 - 10*z + 8. Let y be g(6). Let v = y + 18. Is v bigger than -2?
True
Let s be (39/4)/(63/(-36)). Let d = -1301/231 - s. Is -1 <= d?
True
Suppose -2*n + 6*n = 8. Let y be n/30*(-6)/(-8). Let h be 4*(-2 - 45/(-20)). Which is greater: y or h?
h
Let a = 162 + -218. Which is bigger: -54 or a?
-54
Let a = 13 + -34. Suppose -2*h - 87 = 2*h - m, 0 = h - 3*m + 19. Let w = h - a. Do w and -4/5 have the same value?
False
Let m be (-5)/2*6/(-1). Let p be ((-8)/10)/(3/15). Let u = p + m. Which is greater: u or 10?
u
Let c(t) = -t + 3. Let s be c(-1). Let x(f) = -18*f**2 + 4*f + 3. Let i be x(-2). Let d be s/30 - i/210. Which is smaller: d or 3?
d
Let y(x) = x**3 + 5*x**2 + 3*x + 2. Let p be y(-4). Let k(h) = h**2 - 144*h - 733. Let q be k(-5). Which is bigger: p or q?
q
Let r = -0.14 + -1.46. Let n = 12.6 + r. Let s = n + -13. Which is bigger: -0.05 or s?
-0.05
Let i = 477.9631 - -0.0369. Is i at least as big as 