+ 300 = 0. Which is smaller: z or h?
h
Let h = 14719/5 + -2884. Are h and 59 equal?
False
Let g(h) = 84*h + 2102. Let v be g(-25). Which is bigger: v or -6331?
v
Let w = -0.2 + 0.1. Let i = 7.06 - 8.06. Is i at least as big as w?
False
Let q be 91 - (-1)/(5/20). Let s = 1603 - 1509. Is s greater than or equal to q?
False
Let t be ((-75)/(-2))/(-17*87/(-986)). Which is smaller: t or 27?
t
Let a = 50.6519 - -0.0481. Let h = -50.8 + a. Let b = 3 - 10. Which is smaller: b or h?
b
Let q = 2054 + -2085. Let m = -0.082 + -0.418. Is m != q?
True
Let q be ((-6)/16)/(3/(-2)) + 2659248/(-10614336). Is q equal to -1?
False
Let g(i) = i**3 + 4*i**2 - 13*i + 4. Let b be g(3). Let m be (-24)/(-42) - (-208)/b. Is 15 not equal to m?
True
Let b be ((-840)/315)/(4/(-1758)). Is b greater than 1173?
False
Let j = 5471 + -5476. Is -185/44 < j?
False
Let t be (-13059)/48*(-4)/6. Let g = 5105 - 4924. Let w = g - t. Is -1 at least w?
False
Let r(i) = 13*i**3 - 5*i**2 - 13*i - 6. Let o be r(5). Is o >= -0.1?
True
Let k(y) = 4*y - 38. Let u = -106 + 104. Let w be (-342)/(-19)*1/(-4)*u. Let h be k(w). Which is greater: h or -0.1?
-0.1
Suppose 3*g + 18 = 5*p + 6, -g = 2*p + 4. Suppose p = 44*c - 41*c - 57. Is c less than or equal to 13?
False
Let j = 330183/13 + -25399. Suppose 6*q = 4*q + 2. Is j smaller than q?
True
Let x = 121/177 - 1/59. Let h = 13/1914 + -5/66. Is h smaller than x?
True
Suppose -43*a = -37*a - 90. Suppose 214 + 296 = a*x. Which is smaller: x or 35?
x
Let r = -8.7 + -1.3. Let y = 89 + -88. Which is smaller: r or y?
r
Let q(h) = -9*h**2 - 21*h - 75. Let m be q(-4). Let x = -135 - m. Which is smaller: 5/11 or x?
x
Let b = -3.2 - -3. Let f = -1939.698 - -1937. Let p = f - -0.098. Which is bigger: p or b?
b
Let m = -45.48 - 0.52. Let u = -43.9 + 0.9. Let g = m - u. Is g equal to 0.03?
False
Let b be (5 - 4)/(2/4). Let w = -4 - b. Do -5 and w have the same value?
False
Let b be 70/10830*(-2)/(-7). Suppose r = 6*r. Is b bigger than r?
True
Let s be ((-3)/115 + 0)*(-1797660)/48. Let a = -977 + s. Which is smaller: 0.3 or a?
a
Let q be (-14 - -3)/(4/((-16)/164)). Which is smaller: q or 0?
0
Let z = -12151 - -12942. Which is smaller: z or 782?
782
Suppose -395 + 421 = -13*r. Is r greater than or equal to -68/37?
False
Let n be ((36/(-10))/(-6))/(112/(-1200)). Let c = 5 + -10. Which is greater: n or c?
c
Let u be -2 + 2 + 4 - 133888/(-6864). Let a = -258/11 + u. Which is smaller: a or 1?
a
Let n be (-2)/(1*-2 + 132/55). Let i be (-3)/n - 34/(-10). Let t be -1 - (18/5 - i). Is t greater than 12?
False
Let y be ((-22016)/(-160))/(18/(-95)). Which is smaller: -725 or y?
y
Let b be (14/28)/(2/(-144)). Let r be (-6)/168 + 9/b. Is r smaller than 870?
True
Suppose 0 = 3*v - 340 + 58. Suppose -210*s + 53998 = 470*s - 129*s. Which is smaller: s or v?
v
Let c(d) = 26*d**2 - 444*d - 6. Let v be c(17). Is -493/12 at least v?
False
Suppose 12*f + 27 = 16*f - r, -4*f + 18 = 2*r. Let s be (4/6)/((-2)/(-15)). Suppose -s*m + 2*m + 3 = 0. Which is smaller: f or m?
m
Let a = 0.045 - -48.555. Let j = a - 51.6. Let r = 10 - 9.84. Is j equal to r?
False
Let o(u) = 2*u**2 + 240*u + 1582. Let a be o(-7). Let h be (-27)/57*4/(-6). Is h greater than or equal to a?
True
Let o = -162 + 237. Let l = 60 - o. Which is bigger: l or -6?
-6
Let t(o) = 3*o**2 - 93*o - 60. Let k be t(39). Which is smaller: 872 or k?
872
Let n(a) = 17*a - 1056. Let c be n(61). Let k = -38 - -23. Which is smaller: c or k?
c
Let g be 21/((9/12)/(-1)). Let f = g - -31. Let b be 5*(f + -4)/(1 - 0). Is b not equal to -5?
False
Let g(o) = -38*o**3 + 2*o + 1. Let v be g(2). Let d = -19437/65 - v. Is d equal to -1?
False
Let j = -11503 + 11503. Is -2/2787 < j?
True
Let m = 39.1 + -39. Let c be (-1 - 5) + 20/184*64. Does m = c?
False
Let l(p) = -p**2 + 13*p - 25. Let z be l(13). Let b = 29 + z. Suppose -3*w - 4*v + 2*v = 28, -45 = b*w - 5*v. Which is bigger: w or -8?
-8
Let w = 2491/9836 + -8/2459. Let l = 3 - 3.4. Let i = l - -2.2. Is i bigger than w?
True
Let l = 1516/275 + -131/25. Let m(t) be the first derivative of t**3/3 - 3*t**2/2 - 3*t - 1. Let i be m(4). Is l greater than or equal to i?
False
Let g be (-18 + 18)*(-1)/2. Suppose 3*y = 0, -3*i + 2*y - 6*y - 12 = g. Let p be (8/50)/(i/(-10)). Which is bigger: p or 0?
p
Let m = 2661.7 + -2652. Is m < 3?
False
Suppose 822 + 767 = 7*n. Suppose -33 = n*h - 224*h. Which is smaller: h or -10?
h
Let t = 8.61 - 46.61. Which is smaller: 48 or t?
t
Let i = -21213/3926 - 305/151. Let y = i - -90/13. Let s = -3.1 - -3.8. Which is smaller: s or y?
y
Let p = 140 + -70. Let s = p + -49. Let k = 1/584 - 147/584. Is s at most as big as k?
False
Let z = -920.43 + 926.1. Is z bigger than -1.1?
True
Let p = 30 + -28. Suppose -p*y + y - 62 = -4*g, -2*y = 4*g - 56. Let x be 25/20*(32/g + -2). Is -1 > x?
False
Suppose z - 4*c = c - 31, 3*c + 155 = -5*z. Let a = 38 + -64. Which is smaller: a or z?
z
Suppose -29*f - 351 = -351. Suppose -3*s - 6 = 0, 0*t - 2*t - 104 = 2*s. Let l = 30 + t. Which is bigger: f or l?
f
Let b(q) = 3*q**3 + 3*q**2 - 4. Let z(g) = g**3 - 2*g + 2. Let r(j) = -b(j) + 4*z(j). Let f be 16/(-6)*(-3)/2. Let o be r(f). Are -3 and o non-equal?
True
Suppose 4*j + l - 432 = 0, -5*j + 529 = l + 3*l. Suppose -13*h + 71*h - 2591 = 3615. Which is smaller: h or j?
h
Suppose -21 = -2*a - 5*x, 18*x - 13*x = 15. Suppose p + 2*m + 1 = 0, 8*p + 2*m = 5*p - a. Which is smaller: -11/6 or p?
-11/6
Suppose -m - 4*m = 4*j - 25, m = -4*j + 5. Suppose 3*t = m*t + 4. Let r be 41 + (-1 - 1)/(-4 - t). Which is smaller: r or 43?
r
Let j(k) = -11*k**3 - 8*k**2 + k + 10. Let t be j(-3). Is 230 > t?
False
Suppose 0 = 10*q - 0*q - q. Let s be (3/(-15))/(q + (-16)/(-24990)). Let i = -313 - s. Is i at least as big as 1?
False
Let o = -109.258 + 144.03. Let c = o + -35. Let k = c + 0.028. Is k at least 0.25?
False
Let f(l) = -11*l + 66. Let n be f(6). Suppose 3*v - 5 = 3*h + 4, n = 4*h + 8. Is 6/91 greater than v?
False
Let m be (-7)/(-14)*-6 - (-5770990)/(-35056). Let q = -13/4382 + m. Let p = -166 - q. Which is smaller: p or 3?
p
Let o(v) = -2*v**2 + 30*v - 56. Let f be o(14). Let c(s) = -6*s + 9. Let k be c(6). Is f at most as big as k?
True
Suppose 0*f + f - 5 = -5*s, 5*f - 25 = 2*s. Suppose -13*a - 20 + 59 = s. Suppose -a*g - 5 = -2*j, 3*g + 7 = -4*j - 28. Is g < -2/19?
True
Let z be 57/(1 - 8/10). Let j be -59*(-5)/z + -1. Which is bigger: 1 or j?
1
Let r be (3 - (-144)/(-21)) + 3. Let h = -1725.03 - -1725.1. Which is smaller: r or h?
r
Suppose -4*w = -3*c - 7*w - 12, 0 = -3*c - 4*w - 10. Let j be 2/c - 13/(-3). Let s = 586/9 - 65. Which is smaller: j or s?
s
Let h = 98818/21 + -4699. Which is smaller: 7 or h?
h
Let l = 15195 + -21534. Which is smaller: -6336 or l?
l
Let o = 100/5291 + -50614/2693119. Is 1 at least as big as o?
True
Let l = 76.575 + -76. Let f = l + 0.025. Let t = 0.62 - f. Are 2/3 and t non-equal?
True
Let o = 17 - 426/25. Suppose -65*t + 54*t = 0. Which is bigger: t or o?
t
Let d = -1130.164 + -1.836. Is d bigger than -2/13?
False
Let h(r) = 68*r**2 + r - 3. Let j be h(1). Suppose -j*p + 65*p + 4 = 0. Suppose p = 2*i - 18. Which is smaller: i or 12?
i
Let k = -0.1047 - 0.9253. Let j = 5 + -4.97. Let q = j + k. Which is bigger: q or 110?
110
Let s = -901 + 1082. Let n = 168 - s. Let r = -1 + 3. Which is smaller: r or n?
n
Let v = 196 - 196. Suppose -q + 10*q - 9 = v. Is 272 less than q?
False
Let i(n) = -n**2 + 14*n - 9. Let r be i(9). Suppose -r = -6*m - 222. Which is greater: m or -34?
m
Let u = 34 + 16. Let g = u - 149/3. Which is smaller: -11/6 or g?
-11/6
Let j be 4 - ((0 + -1 - 2) + 1). Suppose 11*i - j*i = -5. Which is bigger: i or -15/38?
-15/38
Let y = 102 - -20. Suppose 0 = 3*r + y + 151. Is r less than -91?
False
Let z = 10 - 548. Let c = z - -538.05. Is c <= -2.5?
False
Let j = 81003/7760 + -167/16. Is j > 1?
False
Let l = 17703 - 17740. Let q(z) = -38*z**3 + z + 2. Let u(t) = -t**3 - t**2 + 1. Let x(j) = -q(j) + 2*u(j). Let y be x(-1). Is y smaller than l?
False
Let m = 48.8 - -212.7. Let k = -30.5 + m. Which is bigger: 2 or k?
k
Suppose 8*s - 6*s - 12 = 0. Suppose 3 = s*z - 9. Let d be z - 36/(-8) - 6/4. Is 6 <= d?
False
Let r be (-238)/105 - ((-253)/33 + 9). Let i be -3 - 0 - 2/2. Let k = i - r. Is -0.01 less than or equal to k?
False
Let t = -13867378449058/7