 value?
False
Let b = 37 + -35. Which is bigger: 0.2 or b?
b
Suppose -3*x + 35 = 2*x. Suppose 0 = 3*y + y + 4*q - 20, -y = -q - 7. Which is greater: y or x?
x
Let t(i) = -i**3 + 7*i**2 - 8*i + 8. Let h be t(6). Suppose -4*k = -4*s - 8, 2*k = s - 2*k + 2. Let n = s + -1. Which is greater: n or h?
n
Let h(l) = -l**3 - 5*l**2 - 3. Let t be h(-5). Which is smaller: 2 or t?
t
Let d = -7 - -14. Let r = d + -9. Are r and -4/5 equal?
False
Let v be 2/4*0/(-11). Which is bigger: 5/12 or v?
5/12
Suppose 11 = 4*b - 1. Is b greater than or equal to 0?
True
Let l be -1*(0 - 0/(-1)). Let j = -241 + 4577/19. Is j at most as big as l?
True
Let x = 12 + -18. Let g = x - -3. Let s(y) = 2*y - 20. Let c be s(8). Is c at most g?
True
Let t = 0.4 - 0.3. Let x = -160 + 83. Let u be (-91)/x + (-4)/22. Which is bigger: u or t?
u
Let r be 1/(15/228)*-5. Let q = -10 - -30. Let m be r/q + 2/(-10). Which is smaller: m or -3?
m
Suppose 3*r + 107 - 338 = 0. Let i = 112995/7 + -16065. Let p = i - r. Which is smaller: p or 1?
p
Let d = 7 + -12. Let g = 3 + d. Which is smaller: g or -1?
g
Let q be ((-12)/(-40))/((-6)/1145). Let i = -57 - q. Which is bigger: 2/7 or i?
2/7
Let t = 257/5 + -51. Which is smaller: -1 or t?
-1
Let i = 0 + 0.1. Let o = 9 - 9.2. Let r = o + 0.9. Which is smaller: i or r?
i
Let l be (2767*-4)/(2/17). Let s = l + 65383659/695. Let f = -1/139 + s. Is 0 at most as big as f?
False
Suppose q = 5*q + 12. Which is smaller: q or -1?
q
Let x = -14.2 + 14. Is x at most -0.2?
True
Let g(r) = -r**2 + 3*r + 32. Let p be g(-6). Which is smaller: p or 1?
p
Let w = 175/2 + -277/6. Let s = 40 - w. Let p = -26/15 - s. Which is greater: p or -1?
p
Let h = -5.9 - -6. Let f = -3 - -3. Let y = f - h. Which is greater: 1/6 or y?
1/6
Let n = -7 + 4. Let a = 7 + -5. Let v = a + n. Which is bigger: 1 or v?
1
Suppose 2*u = u - 3. Let j(v) = -v**3 - 8*v**2 + v + 8. Let g be j(-8). Let k = g + -2. Is k bigger than u?
True
Let j(y) = y**2 - 9*y + 4. Let d be j(8). Which is smaller: d or -1?
d
Let r(u) = u**3 - 2*u**2 - 1. Let o be r(3). Let p be 2 + o/(-5) + 0. Is 0 != p?
True
Let r = -1.3 - 5.7. Is -0.2 not equal to r?
True
Let u = -1009/19 + 53. Let t be (-2)/(-6)*3/(-1). Which is smaller: t or u?
t
Let h = -11 + 12. Which is greater: 1/44 or h?
h
Let u = -28 - -25. Which is bigger: 1 or u?
1
Let v = -1113 - -142465/128. Let p = 389/640 - v. Let o be -2*(2 + 10/(-4)). Which is greater: o or p?
o
Let h be 1/(2*1/6). Suppose -2*j + 2*y = -2, -25 = -7*j + 3*j - h*y. Let u be (-2 - -2)/(j/(-2)). Are -2/11 and u equal?
False
Let k = -1 + 6. Let d be ((-4)/6)/(13/(-78)). Is k >= d?
True
Let r = 4 + 1. Let x = -7 + r. Which is smaller: x or 0.2?
x
Let x = -1.05 - -0.55. Is -0.2 >= x?
True
Let f = -11 + 14. Let x be (-2)/((-1)/f*-3). Is -2 at most as big as x?
True
Suppose 4*t + 5*m = 3*t + 28, -4*m + 17 = -t. Suppose 4 = -t*n - x + 3*x, 0 = -4*n + 2*x - 2. Let z = n + -32/17. Which is smaller: 1 or z?
z
Let w be -4 + (-170)/(-24) + -3. Which is greater: 1 or w?
1
Let n = 7 - 11. Let m be ((-2)/(-2) - 3)*n. Let g be m/6 + 3/(-9). Is g < 1/2?
False
Let o = 0 - -2. Let m = o + 3. Suppose w = 4*z + 14, -w + m*z = -0*w - 17. Which is smaller: w or 4/5?
4/5
Suppose -4*p - 2*u = 224, 0*p + 4*p = -3*u - 220. Let t = p + 408/7. Is 1/2 bigger than t?
True
Let x be ((-24)/(-9))/(-3 - -4). Which is bigger: 0 or x?
x
Let y be 3/((-6)/4)*1. Let x be ((-12)/(-24))/(-1 + 6/20). Is y != x?
True
Let j = 2/47105 + 357912/2025515. Let q = j - -1/43. Let a be (-1)/(-2)*(-2 - 0). Is a at least q?
False
Suppose -73 = 5*j - 13. Is -14 greater than or equal to j?
False
Let s(d) = d**3 + 4*d**2 - 1. Suppose 3*k + 0*k = -12. Let x be s(k). Let n be (3 - 1) + 26/(-8). Is x <= n?
False
Suppose -4*t + 45 = 9. Let p(s) = -2 + t + 3*s - 2*s. Let f be p(-9). Are 0 and f nonequal?
True
Let h be (1/6)/(6/9). Let b be -5*(4 + 124/(-30)). Is h smaller than b?
True
Let v be (-249)/18 - (-2)/4. Let d = 754/57 + v. Is d greater than or equal to 1?
False
Let m = -0.3 + 0.4. Which is greater: m or 1?
1
Let q be (-52645)/(-225) + (7 - 3). Let z = 238 - q. Which is greater: 0 or z?
z
Let i(b) = -b + 4. Suppose 4*a - k - 4*k - 27 = 0, 0 = -2*a - 2*k. Suppose -a*z + 1 = -14. Let o be i(z). Which is bigger: o or 0?
0
Let s be (7 - 9)*5/(-2). Suppose 2*y - 2*q + 0 = -8, -4*y + s*q - 11 = 0. Which is greater: y or -10?
y
Let j = 565/764 - -2/191. Let w be 0 + (1 + 1)*-2. Let p(x) = -x**3 - 5*x**2 - 6*x - 6. Let k be p(w). Which is smaller: j or k?
j
Let i = 0.47 + -1.47. Which is smaller: i or 10?
i
Suppose 0*u - 6 = -2*u - d, 0 = 2*u - 2*d. Let a be -1*u/(-60)*4. Let v be ((4 - 1)/(-3))/1. Which is greater: a or v?
a
Let s = 0.22 + -0.23. Let l = 7 + -4. Let x = 3.1 - l. Which is smaller: s or x?
s
Suppose -x - 2*x - 120 = 0. Is x <= -77/2?
True
Let w = -9 + 8.99. Let u = 0.29 - w. Which is smaller: -7 or u?
-7
Let m(o) = -o - 21. Let b be m(-13). Is b at least as big as -7?
False
Suppose 0 = 5*n - 4*k - 4, -k + 3 - 4 = 5*n. Let y(l) = -l**3 - l + 8. Let j be y(n). Suppose b = -3*b - j. Is b < -4/3?
True
Let a = 0.3 + 0.68. Let f = a + 0.02. Which is smaller: f or 0.2?
0.2
Let d be -5*(14/(-5) - -2). Let y(g) = -g**2 + 11*g + 16. Let a be y(12). Suppose 0 = -d*h + 12 + a. Is 4 <= h?
True
Let j be (-310)/(-70) + (-4)/(-7). Are 5 and j equal?
True
Let g(o) = -o**2 + 3. Let v be g(-3). Is -7 > v?
False
Let u be (2 - 6/(-3))/2. Let t = u - -3. Is 3 greater than t?
False
Let k = -4.9 - -4.8. Which is smaller: 8 or k?
k
Let q be 6/(-3)*1/2. Which is smaller: -5/4 or q?
-5/4
Let r = 34.9 - 32. Let m = 73 + -70. Let q = m - r. Which is bigger: 7/2 or q?
7/2
Suppose 2*f + 3*y + 11 = 0, -2*y + 2 = f + 2*y. Which is greater: f or -9?
-9
Let a(z) = -2*z + 54. Let b be a(21). Which is greater: 112/9 or b?
112/9
Let f(g) = -g**3 - 5*g**2 - 4*g + 3. Let m be f(-4). Suppose -3*i - m*d = 0, -4*i - 1 = 3*d + 1. Let t = i - 0. Which is bigger: 0.1 or t?
0.1
Let f = 16.9 - 18. Let n = -1 + 0. Let x = n - f. Which is greater: -0.02 or x?
x
Let s(f) = f**3 + 2*f**2 - 6*f - 6. Let y be s(-4). Do -13 and y have different values?
True
Let p(k) = 3*k + 10. Let n be p(-3). Let s be 4/(-22) + 24/11. Let f be (-3)/s*4/93. Which is smaller: f or n?
f
Let t be 2*(-2 - (-15)/6). Let c be 3/2 - 10/(-4). Let k be (-2)/((-18)/c*-2). Which is bigger: k or t?
t
Let p = -148/213 - -2/71. Is -1 <= p?
True
Let n = 0.66 - 0.06. Are n and 0.2 non-equal?
True
Let o be 1670/(-280) - (-1)/4. Which is bigger: -7 or o?
o
Let k(z) = -z**3 - 9*z**2 - 10*z - 10. Suppose 2*t + 15 + 1 = 0. Let c be k(t). Suppose -c*f = -f. Is -2/9 smaller than f?
True
Suppose 2*t = t + 5. Let i be (-2)/8*12/t. Suppose 0 = -4*o - 2*w + 1 - 13, 5*o + w + 12 = 0. Is o < i?
True
Let x = 292/5 + -59. Let o = -0.052 - -1.052. Is o bigger than x?
True
Let t be 0/(-4 - -2) + -88. Let f be 7/28 - (-246)/t. Let d = f + 174/77. Which is smaller: 2/17 or d?
d
Let s = 3 - 3. Let t be s - ((-24)/(-14))/3. Is 0 > t?
True
Let j = 1201/12 - 100. Suppose 5*n = 4*s + 3*n + 8, 3*s + 4 = n. Is j at least as big as s?
True
Let s be 0 + -1 + (-56)/(-72). Which is smaller: 0.1 or s?
s
Let h = -16 - -21. Suppose h*s - 33 - 17 = 0. Is 11 smaller than s?
False
Let j be (-1)/1*4/22. Let p = -0.93 - 0.07. Let r = p - -0.9. Is j greater than r?
False
Let c = 0 - 0. Suppose 15 = 4*s - 3*a, -3*a = -3*s + 3 + 12. Are c and s non-equal?
False
Suppose -5*g + 5*q - 5 = 0, q - 1 - 4 = -g. Let k be (-28)/6 + g/(-6). Which is smaller: -3 or k?
k
Suppose 4*i + 7 - 19 = 0. Suppose -3*c - i = 0, j + 4*c + 2 = -2. Which is bigger: 1 or j?
1
Let o(x) be the third derivative of x**6/120 + 2*x**5/15 - x**4/3 + 5*x**3/3 + 2*x**2. Let g be o(-9). Let k = 2 - 2. Are k and g equal?
False
Let s(g) = 12*g + 4. Let c be s(6). Let m be c/18 + (-8)/36. Let b be 8/(-5)*(-2)/m. Do b and -1 have different values?
True
Let y = -4 + 5. Let u = y + -3. Let c = -38/39 + 4/13. Which is smaller: c or u?
u
Let j be (-3 - -2)/(-1 + 2). Let u = 1 + j. Let d = 71 + -357/5. Which is greater: d or u?
u
Suppose 7*w - 3*w = -12. Let p be w + (-1)/(-1)*8. Suppose 2*q - 4 + 5 = 5*k, 2 = -p*k + q. Which is greater: k or -2/5?
-2/5
Suppose -4*h = -3*h - 22. Suppose -5*v = 4*r - h, -2 = -4*r - 3*v + 16. Suppose 2*y + r*y = 0. Do 2 and y have the same value?
False
Let c = 