rue
Let c be (-8)/(-64) + (-264)/2368. Do 0 and c have the same value?
False
Suppose -4*p = v + 6 + 117, p = -3*v - 17. Are p and -42 equal?
False
Suppose 1 + 18 = -4*p - 3*s, -5*s - 30 = 5*p. Is p not equal to 4/35?
True
Suppose 0 = 10*p - 362 + 372. Is p at least 2.13?
False
Suppose 2*h - 5 + 15 = 0, 0 = -2*s + 4*h - 18. Let b be (-2*1)/(s + 1). Let r be 4/(-10) + 14/35. Which is smaller: b or r?
r
Let r(f) = 3*f + 57. Let n be r(-8). Let x = -295/9 + n. Is x at least as big as 4.1?
False
Let s = -458 + 184. Is -275 at least as big as s?
False
Let i be ((-2)/18*-2)/(16/36). Which is smaller: -106 or i?
-106
Suppose -6*y - 10 = 2. Suppose -2*q = 2*t - 0*q + 2, 2*t - 4*q = -14. Let k = -5 - t. Is k less than or equal to y?
True
Let m be 12/1*(-4)/(-8) - 25. Which is bigger: -36 or m?
m
Let w(p) = -11*p**2 - 8 + p**3 - 4*p - 2*p**3 - 7 + 15*p. Let n be w(-12). Let b be (-17 - -17) + n/(-1). Which is bigger: b or 2?
b
Let u be (137/1)/((-8)/(-12 - -20)). Are u and -138 equal?
False
Let l = 5 + -46. Is -0.1 > l?
True
Let t(z) = z**2 - 2 + 0 + z + 4*z - 2. Let d be t(-6). Suppose -5*x + d*k + 14 = 0, -3 = 3*k + 3. Which is smaller: x or -1?
-1
Let k = -10 + 21. Let u = 39 - k. Let w = -25 + u. Is -1/2 > w?
False
Let j(l) = l**2 - 2*l - 12. Let m be j(-3). Suppose m*o + p - 10 = -0*p, -5*o - 3*p + 10 = 0. Which is greater: 6 or o?
6
Suppose 0 = -5*k - 2*g + 1, 19*k - 14*k + 2 = -g. Let v be k/(-2) + 0 + (-27)/18. Which is greater: v or -6?
v
Let w(f) = -f**2 + 17*f + 109. Let q be w(22). Which is smaller: -2/5 or q?
q
Let u = -27 + 14. Let d = u - -19. Let k = d + -7. Which is bigger: k or 2/9?
2/9
Let l = -216.2 + 216. Is l at most as big as 0.016?
True
Let p = 142/6045 + 1/465. Which is smaller: -1 or p?
-1
Let a be 7/7*(868 + 12). Is 881 <= a?
False
Let y be -17*-2*12/10. Let m = y + -40. Let v = 31 + -30. Is v less than m?
False
Let n = 1.54 - -0.06. Let l = -0.4 + n. Let s = l - 1.4. Which is greater: -2/3 or s?
s
Let w = 34.01 + -33. Let l = w + -0.91. Which is bigger: l or -54?
l
Let g be (-362)/(-2028) + (-2)/12. Let p = g + 976/3211. Is 0 at least as big as p?
False
Let k(n) = -2*n**2 + 4*n - 2. Let m be k(3). Let c be 20/m*(-54)/15. Do c and 7 have the same value?
False
Suppose 60 = 2*v - 5*q - 25, -75 = -2*v - 5*q. Let z be (8/v + 12/(-10))*1. Is -0.12 greater than z?
True
Let g be 4*121*(-37)/(-222). Is 81 <= g?
False
Let h be (-378)/(-2)*44/12. Let a = h - 4864/7. Let i = a - -23/35. Which is greater: 0 or i?
0
Let j = 134 - 145.7. Let m = j - -11.17. Let t = 0.13 + m. Is -0.3 at most as big as t?
False
Let w be 5 + (-112)/(-70) + (-2)/(-5). Which is smaller: 6 or w?
6
Let j(t) = t**2 - 33*t + 65. Let r be j(31). Suppose 20 = -d - 4*d, -r*w + 5*d + 17 = 0. Which is smaller: -1/34 or w?
w
Let r = -27 - -90. Let w be (-14)/r - 172/198. Is w less than -2?
False
Suppose -w - 35 = 102. Which is smaller: -135 or w?
w
Let n be 60/738*(-12)/(-10). Let d = n + -57/164. Let h = -8 - -9. Is h equal to d?
False
Let d be (-1)/(-2) - 42/4. Suppose -2*t + 195 = 3*x + 225, -4*x = 8. Is d smaller than t?
False
Let d be 581/84 - 2/12. Is d bigger than 8?
False
Let h = 19.6 - 18. Let w = -4.5 - -3. Let o = h + w. Which is smaller: o or 2?
o
Let q(b) = -2*b. Let a(y) = 2*y + 7. Let g be a(0). Let n = 4 - g. Let i be q(n). Is 7 > i?
True
Let t(i) = -9*i - 8*i + 3*i - 12*i - 2. Let q be t(-1). Is 24 at least q?
True
Suppose 12*z - 220 = -268. Which is bigger: z or 9?
9
Let r(f) = -f**3 + 6*f**2 - 3*f - 4. Let l be r(5). Let c be (-4)/l - (-16)/6. Does 9/5 = c?
False
Let n be (-114)/45*6*(-20)/8. Suppose -1079 = -32*o + 105. Which is smaller: o or n?
o
Suppose 8*h + 16 - 24 = 0. Is 8/29 < h?
True
Let d be (-3 - -383) + 0 - 0. Let c = d + -1889/5. Does c = 3?
False
Let j be (-1 + 581/(-21))/((-4)/(-6)). Which is greater: -45 or j?
j
Let t(a) = -a**3 + a**2 - 6. Let p be t(0). Let x(u) = u**3 + 64*u**2 - u - 70. Let h be x(-64). Is p > h?
False
Suppose -4*o = -3*o + 1. Let v be -5 + (3 - (-2 - o)). Let q be ((-56)/32)/(v/4). Is q at most as big as 6?
False
Let r = 124/255 + -6/17. Which is bigger: 1 or r?
1
Suppose 0 = -2*q - 10, -5*o - q + 4*q = -70. Suppose 3*s = -5*v + 5, 5*s + 13 = 2*v + o. Let h be (-3 - -4)*4/(-118). Is h at most v?
True
Let p be (-42)/24*(-12)/5754. Which is greater: 0 or p?
p
Suppose 152 = -4*j - 2*i, 0*j + i = 2*j + 68. Which is greater: -28 or j?
-28
Let g = 2126.026 + -2123. Let d = -0.026 + g. Which is greater: d or 0?
d
Let h(i) = -i**3 - i**2 - i**2 - 20*i + 29*i + 4. Let r be h(-4). Which is greater: r or 1/52?
1/52
Suppose 0 = 27*h - 37*h. Let f = -2316/19 - -122. Is h smaller than f?
True
Let c = -1895 - -1544. Does 0.1 = c?
False
Let k be (-62)/(-6) + 5628/1206. Suppose -3 = 2*n + 5*v - 6, 2*v - 4 = -n. Is n less than k?
True
Let s be (64/(-7))/(-4) - 2. Let a = 11 + -18. Let u be a/(-4) - (-3)/12. Is s greater than u?
False
Suppose -5*y - 31 + 271 = 0. Let b = 23 - y. Which is bigger: -24 or b?
-24
Let o be (-2 - ((-378)/(-175) - 2)) + 4. Is o > 2?
False
Let g(s) = 6*s**3 - 41*s**2 - 7*s. Let v be g(7). Let h be (-2)/3 + 5/(-9). Which is bigger: v or h?
v
Let r be 9 + -3 + -3 + -2. Let z = -47/27 - -473/270. Let f = 227/180 - z. Which is bigger: f or r?
f
Let i = -2.23 + 1.83. Which is greater: i or 35?
35
Let z = 105 + -17. Suppose 3*g - z = 20. Which is smaller: g or 37?
g
Let x = -41 - -20. Let b = -19 - x. Does b = 6?
False
Suppose 5*f = -3*w - 29, 5*w - 12 = -f - 53. Let q be ((-6)/w - 1) + (-26)/(-40). Is q at most -4.4?
False
Let k = -132 + 124. Let q(d) = -d - 1. Let b be q(-3). Suppose -c - 11 + b = 0. Is c at least as big as k?
False
Let p = -26.6 - -26.7. Is -280 < p?
True
Let y be (4292/4)/(-1) + -2. Let l be 4 - (-6885)/y - -4. Let k = l + 1/215. Which is greater: 3 or k?
3
Let j(i) = -150*i - 151. Let l be j(-1). Is -2/731 greater than or equal to l?
True
Let d = 1721/651 - -5/217. Are d and -4 nonequal?
True
Suppose -r - 7 = -8, -2*q - 4*r = -4. Is q != 3?
True
Let c be 1/5*-5*3/30. Is -1 greater than or equal to c?
False
Let n = 8 + 8. Which is bigger: 10 or n?
n
Let a be (42/(-6) - -15) + -8. Which is smaller: -699 or a?
-699
Let d = 1432 + -825. Are 607 and d non-equal?
False
Let h be (-8)/10*45/(-6). Suppose 2*o - h = 0, 4*m = 2*m + o - 3. Is 5/8 at most as big as m?
False
Let v = -1.3 - -9.3. Let k = 157 + -156. Which is smaller: k or v?
k
Suppose -2*d + 17 = -n, 3*d - 6 - 18 = 3*n. Suppose -6 = -b + 2. Let h be b*(0 + (1 - 0)). Are d and h non-equal?
True
Suppose -2*w = 2*n - 6, 2*n + 1 = 2*w + 5*n. Let u(j) = j**3 - 10*j**2 + 17*j - 6. Let p be u(w). Suppose -2*l = l + 3. Is l greater than or equal to p?
False
Suppose -4*x + j = -14, -5 = -0*x + x + 4*j. Let z be (x + 0 - 2)/(75/(-435)). Which is smaller: z or -5?
z
Suppose -4*v = 1 - 25. Let c be v*(-4 - -2)*(-3)/(-6). Is c at most -6?
True
Let i(b) = -b**3 - 5*b**2 + 3*b + 8. Let u be i(-5). Let m(w) = -w**2 - 3*w - 3. Let c = 4 - 7. Let l be m(c). Which is bigger: u or l?
l
Suppose 4 = -3*m + 22. Suppose 0*h = m*h - 12. Let c be (-2)/(h*46/(-4)). Which is bigger: 0 or c?
c
Let j = 191.18 + -190. Which is greater: j or 0.2?
j
Suppose 3*p - 175 = 8*p. Let f = -30 - p. Do 2 and f have different values?
True
Let q be 18/30*((-3270)/(-27) - 0). Does q = 72?
False
Suppose 1000*m = 1010*m. Which is greater: 10/39 or m?
10/39
Let i = -4939/56805 + 2/1623. Let j be (20/(-6))/((-47)/2679). Let w = j - 189. Do i and w have different values?
True
Let d = 18 + -30. Let t be (-73)/(-3) + (-3)/9. Let a = 12 - t. Do a and d have the same value?
True
Let j = -16 - -19. Suppose -j*b - 17 = -44. Let z be (-10)/(-14) - (1 - 0). Are z and b equal?
False
Suppose -2*r + 6 = -0*r. Suppose 3*b + r = 2*g - 3*g, -3 = -4*b + g. Which is smaller: b or -4/11?
-4/11
Let j = 207 - 200. Suppose -70*q = -77*q + j. Let c = 2/47 + -55/188. Which is smaller: q or c?
c
Let l(n) be the first derivative of -n**2 + 16*n + 26. Let m be l(6). Which is bigger: m or 5?
5
Suppose 2*q + 1 = 5. Let k = -2455/4 - -613. Which is smaller: k or q?
k
Let n be ((-7)/4)/((-12)/48). Let u(h) be the first derivative of h**3/3 - 3*h**2 + 10*h - 2. Let l be u(n). Which is bigger: 18 or l?
18
Let x = -33 - -19. Let f = 14 + x. Is 3/29 at most f?
False
Let x = 33 + -42. Let d = 10 + x. Let m = 4843/18 + -