alse
Suppose v = 15*v - 28. Suppose b + b = v. Do b and -3/10 have the same value?
False
Let g be ((-63)/(-6))/((104/(-16))/(-13)). Let x be (-10)/g*30/4050. Which is bigger: -1 or x?
x
Suppose 134 = 4*r - 2*p - 402, -2*p - 405 = -3*r. Is r bigger than 2782/21?
False
Let z = -623/8 - -78. Let o = 121787/552216 - 1/3287. Let s = o - z. Are s and 1/4 equal?
False
Suppose 8*m + 266 = 578. Let i = m + 1. Are i and 1/2 equal?
False
Let g = 433.2 + -433. Let t = -0.04 + -0.019. Is t <= g?
True
Let c = 95 + -179. Let z = -0.378 - 83.422. Let s = z - c. Which is bigger: s or 4/9?
4/9
Suppose 17*x = -25*x + 92064. Is 2193 bigger than x?
True
Let c be (2*(-770)/150)/((-6)/10). Which is bigger: c or -1?
c
Let p = -0.2 + 0.3. Let w = 1.063 + 0.127. Let c = -0.11 - w. Which is bigger: c or p?
p
Let o(k) = k**2 + 21*k - 107. Let j be o(5). Which is smaller: j or 20?
20
Suppose m = -39 - 11. Let o = 215943 - 215992. Is o smaller than m?
False
Suppose -4*l + 20 = 3*m, -4*l + 3*l + 39 = 5*m. Let h = 2 - m. Let u be (21/h)/((-1)/6). Are u and 21 equal?
True
Let g = -37.36 - -37. Let u = 0.13 + g. Let o = 0.03 + u. Is -2/3 > o?
False
Suppose -5*k - 1 = -4*f, 5*k + 3 = -61*f + 63*f. Is -0.1232 smaller than k?
False
Let f = -50582 + 7182681/142. Let h = f + -3/284. Which is smaller: h or 3?
h
Suppose 2*q - 2 = -4. Let d be ((-5)/(-5))/(q + 0). Suppose 18*l + 10 = 13*l. Is d at most l?
False
Suppose 1348 = -136*v - 1236. Suppose 4*w - 68 = 4*z + 2*w, -4*z = -5*w + 56. Are z and v equal?
True
Let j(q) = 76*q**2 + 2*q + 1. Let z be j(-1). Suppose -21*m + z + 9 = 0. Suppose 22 - 4 = 4*u + 2*t, -m*t + 8 = u. Which is smaller: u or -10/7?
-10/7
Let l be (1028/7)/(-5 + 170/30). Let d = 216 - l. Is d at most -4?
True
Let t(l) = -8*l**3 - 3*l**2 - 3*l - 1. Let m be t(-4). Let w = 472 - m. Let n be 5/(-4)*3/30. Which is bigger: w or n?
n
Let b be -10*(-8)/(-56)*2/(-10). Which is smaller: -2009 or b?
-2009
Let u = -17.6 + 19.35. Let r = 0.25 + u. Which is greater: r or 14?
14
Let s = 150.45 + -147.45. Suppose f = -2*f - 12. Which is bigger: s or f?
s
Let a(y) = -2*y**2 + 14*y + 5. Suppose 0 = 4*r + 3*k - 15, -11*k - 18 = -2*r - 9*k. Let w be a(r). Let o be 71/5 - 6/30. Is o at most as big as w?
True
Suppose 810 = -8*m + 10. Let q = m - -48. Suppose 3*c = 2*c - 3, 0 = -5*p + c - 247. Which is bigger: p or q?
p
Suppose -30 = 172*f - 178*f. Suppose -111 = f*k - 91. Let i = -1430 + 8555/6. Which is greater: i or k?
k
Let k(d) = 1 + 0 - 4*d - 236*d**2 + 237*d**2. Let l be k(3). Let x be ((-15)/10 - -3)*l. Is -4 smaller than x?
True
Let y be (26192/(-6) + -2)/(1828/(-6)). Let k = y - 2/1371. Let q = k + -35/2. Which is smaller: -4 or q?
-4
Let t = 141 - 124. Let g = 0.54 + -14.54. Let w = t + g. Which is bigger: w or 2/9?
w
Suppose -14*k - 5555 = -4743. Are -62 and k unequal?
True
Let w(z) = z**2 + 13*z - 78. Let d be w(6). Suppose -5*t - 4*t + d = 0. Which is bigger: -2.8 or t?
t
Let d(g) = -2*g + 4. Let j be 0 + -4 - (-1 - 0). Let z be d(j). Let s be (-6)/z*(-247)/57. Which is smaller: 4 or s?
s
Suppose w = -32 + 7. Let v be ((-3)/11)/(w/20). Which is smaller: -1 or v?
-1
Suppose 3*n - 4*p + 944 = 0, 2*p + 199 = -4*n - 1089. Let g = 321 + n. Which is smaller: 1/150 or g?
1/150
Suppose 4*z - z = j - 2925, 2*z = -2*j - 1934. Which is smaller: 3 or z?
z
Let b(f) = 8*f - 2. Let w be b(2). Suppose -2*q - 19 + 189 = 0. Suppose -v + q = 4*v. Which is greater: w or v?
v
Let o = -3503 + 2185. Which is bigger: -1319 or o?
o
Suppose 24697 - 2172 = -25*w. Which is greater: -898 or w?
-898
Let m(k) = -k**3 + 9*k**2 - 7*k + 12. Let v be m(8). Suppose -h - 2*f = 9, -h + 4*f - 5 + v = 0. Let c be (4/(-10) - 44/(-60))*h. Which is greater: c or -87?
c
Let m = -35 - -61. Let c(b) = 3*b**2 + 2142*b - 4282. Let j be c(2). Is m >= j?
True
Suppose 29 = 5*v - 2*f, -2*v + 7*v - 26 = 3*f. Suppose -2*l + 54 = v*h - 3*h, 0 = l + 3*h - 32. Is 17 >= l?
True
Let t be 4/(-6) - (-7 + 7926*(-4)/36). Is 882 less than or equal to t?
True
Let w be ((-8)/(-10))/(88/(-660)). Let z(a) = -22*a - 54. Let b be z(w). Are b and 77 unequal?
True
Suppose -219 + 29 = -5*b. Let t = -706 + 671. Let q = b + t. Which is smaller: q or 1?
1
Let y = -33946 - -28435. Which is greater: y or -5512?
y
Suppose 61*i = -40*i + 6*i. Which is bigger: i or 0.048?
0.048
Let f = 9622 - 9613. Suppose j + 3*j + 20 = -2*d, d + 5*j + 19 = 0. Let l be 12/10*(-10)/d. Which is greater: l or f?
f
Let a(c) = -4*c - 7. Let s be a(-2). Suppose 0 = 3*o + 15, -11 = -u + 4*o + 13. Suppose -5*k = -5*t - 155, 4*k - 93 = k + u*t. Are s and k unequal?
True
Let h = -69.6 - -57. Let c = -12.9 - h. Let p = 4 - -4. Is c bigger than p?
False
Let u = 3755 - 3567. Which is smaller: u or 182?
182
Let l be ((-107225)/(-15840) - 7) + (-4)/(-18). Is l equal to -1?
False
Let k = -144 - -105. Let i = 77 + -110. Let n = i - k. Which is greater: 8 or n?
8
Suppose -2*d = -4*j - 12, -2*d - 24 = j + 4*j. Let c be -1 + ((-4)/j - -3). Suppose -4*o = -z - 51, z + c*o + 128 = -3*z. Which is smaller: -34 or z?
z
Suppose s = 2*y - 84, s = -2*s - 5*y - 340. Is -507/5 smaller than s?
True
Suppose 0 = -95*q + 93*q + 4. Suppose -12*b - 2 = -q. Do b and -4/61 have different values?
True
Let w be (77 - 79)*411*(-2)/(-4). Which is smaller: w or -408?
w
Let w(v) = -30*v + 154. Let o be w(5). Suppose 0*f - 1047 = -3*x + 3*f, 3*x - o*f = 1046. Which is greater: x or 351?
351
Let o be (-4)/(112/42) - (-705)/2. Suppose -196 = -5*t + 1554. Which is smaller: t or o?
t
Let w(u) = u**3 - 5*u**2 + 6*u + 1. Let k be w(3). Let f be 9/183*19 + (-1)/k. Let r = 1423/305 + f. Are r and 6 equal?
False
Let o(u) = -2*u**2 + 41*u - 194. Let r be o(7). Are -207/47 and r nonequal?
True
Let b(v) = 49*v**2 + v. Suppose -12 = -a - l - 2*l, 5*a - 34 = -2*l. Let f be b(a). Let n be (4/(-6))/(20/f). Which is smaller: -60 or n?
-60
Let x = 515 + -333. Suppose -x = -i + 6*v - 2*v, -910 = -5*i - 3*v. Does 184 = i?
False
Suppose -x - 3 = -5. Suppose 3*u + 0*z = 3*z + 1050, 4*u - 1382 = -x*z. Let m = u + -5209/15. Which is greater: m or -1?
m
Let w(p) = p**3 + 7*p**2 - 9*p - 11. Let d be w(-8). Let m be (10*6/(-36))/(1/(-3)). Suppose -m*h = -6*h + 2. Which is smaller: d or h?
d
Suppose 3*u = 40 - 22 - 21. Is -27/220 bigger than u?
True
Let y be (1 + (-20)/(-8))*(-30)/(-5). Suppose -c - 5*d + y = 3*c, -1 = c - 5*d. Suppose -5*m = -6*f + f + 5, -m - 21 = c*f. Which is smaller: f or -30/11?
f
Let u(k) = 112*k + 2737. Let c be u(-29). Which is greater: -518 or c?
c
Let q = 5028 + -5027.9831. Is q at most 0.1?
True
Suppose 2*j + 42 = 2*x, 0 = -2*j - 5*x - 31 + 38. Which is greater: j or 5?
5
Suppose 3*y = 5*a + 2*y - 128, -10 = -a - 5*y. Let b = -418 - -215. Let x = -201 - b. Which is greater: a or x?
a
Let x be (-4)/(-18) - (2019/(-27) - 3). Let h = -75 + x. Suppose -h*t - 74 = -5*t. Is 38 greater than or equal to t?
True
Let y = -46 + 48. Let k be (964/(-176) - 6/(-8)) + y. Let w(b) = 21*b + 206. Let g be w(-10). Which is greater: g or k?
k
Let b = 177 + -180. Let q = -188 + b. Is -1 greater than q?
True
Let g(n) = -3*n**3 - 7*n**2 - 8*n - 8. Let k be g(-4). Suppose 2*c = -3*q + 107, c = 3*c + 4*q - k. Is 59 < c?
False
Let z = 1.64 - 121.64. Let s = 139 + z. Is s less than 0?
False
Let i = 1 + 2. Let v = 1003 - 1008. Let y be (-4)/v + ((-5490)/50)/(-9). Is y less than i?
False
Let k = 38 + -61. Let y(z) be the third derivative of z**4/24 + 23*z**3/6 - 325*z**2. Let h be y(k). Which is smaller: -2/33 or h?
-2/33
Let n be -2 + (-45 - 1) - -1. Let d(p) be the first derivative of p**3/3 + 31*p**2/2 - 150*p - 88. Let j be d(-34). Which is greater: n or j?
n
Suppose 82*l - 80*l = -2. Let i = 11426/75 + -457/3. Is i at least l?
True
Suppose -250 = -11*y - 63. Let r = y - 23. Let l be (-1)/(r/(-4))*(0 - 18). Is l less than -2?
False
Let y(r) = r + 677 - 690 - 10*r**2 + r**3 + 11*r - 2*r**2. Let x = 3 + 8. Let g be y(x). Are g and -12/5 non-equal?
True
Suppose 6570*g = 6590*g + 1420. Is -8 not equal to g?
True
Let g = -2834 - -2840.1. Is g >= -12?
True
Let a = 0.04904 + -0.34904. Which is bigger: -195 or a?
a
Let j = -8790 + 8789.95. Are 153 and j equal?
False
Suppose 0 = q + 5*v + 17, -3*v + 1 = -q + 8. Let o(p) = -13*p - 4. Let m be o(q). Suppose -5*h - 4*t - 20 = -6*h, 40 = 2*h - 4*t. Is m at least as big as h?
True
Let d(q) = -