values?
True
Let o be 2/((-1)/2*1). Let f = 6968 + -13945/2. Are f and o non-equal?
True
Let h be 10/55 - 97/(-11). Suppose -2*w = -10, 4*c = w - 0*w + 3. Let b be c*(-4 - (-33)/h). Is -3 less than or equal to b?
True
Let p be (1/(138/(-9)))/((-12)/16). Suppose 0 = 4*g + 12, -i + 3 + 1 = -g. Which is smaller: i or p?
p
Let q = 9.3 - 6.1. Which is smaller: q or -1/5?
-1/5
Let z = -55 + 56. Suppose -2*h + 3 - z = 0. Is h at least as big as -7/24?
True
Let u = 45 + -43. Let a be (-19)/20 - u*(-1)/8. Is a smaller than -1?
False
Suppose -2*x + 7 - 3 = 2*d, -4*d = 3*x - 8. Is x > -9/17?
True
Suppose 2*u - 5*u - 39 = 0. Suppose -3*a - 4*j - 19 = 0, -a - 5*j = -j + 17. Is a >= u?
True
Let w = 39.033 - 39. Let a = 0.533 - w. Is -1/11 >= a?
False
Let b = 309/5 - 8333/135. Which is bigger: 1 or b?
1
Let t be 4/126*-114 - 2*-2. Which is smaller: 0 or t?
0
Let u be (-148)/(-52) + 2/13. Let h be (2/3)/(u/((-54)/(-4))). Which is greater: h or 2?
h
Let t(x) = x - 12. Suppose 7*n = 2*n + 20. Suppose -b + n*b = 54. Let r be t(b). Which is greater: 3 or r?
r
Let r(o) = o**2 - 4*o + 1. Let f be r(3). Let t be (-3)/f + (-16)/8. Which is bigger: t or 32?
32
Suppose f + 4*d - 19 = -0*f, d - 4 = 0. Suppose f*q = 4*q + 3*q. Which is smaller: q or -2/141?
-2/141
Let a = -49.1 - -68.8. Let v = 21 - a. Let u = v + 0. Are 0 and u unequal?
True
Let o be 12/(-4) - (-30 + 2). Let n = -17 + o. Let i be 144/(-14) - n/(-28). Which is smaller: i or 2/7?
i
Let z be (((-24)/14)/(-3))/((-2)/14). Are z and -11 unequal?
True
Suppose 3*r - 9 - 6 = 0. Let c(b) = -b**3 + 4*b**2 + 5*b - 1. Let o be c(r). Let i = -37/119 - 2/17. Is o > i?
False
Let w = 202 + -3836/19. Suppose 4*t = 3*n - 44, 3*n - 5*t = -2*n + 70. Let i be 1/(-5 + n/3). Does i = w?
False
Let l = -6 + 6. Let o be (l - -6)*12/120. Which is bigger: -2 or o?
o
Suppose 0 = -2*r + 4, -i = -0*r - 3*r - 22. Let o(u) = 2*u**2 + 4*u - 3. Let d be o(3). Which is smaller: i or d?
d
Let k(t) = -t - 37. Let a be k(7). Which is smaller: -130/3 or a?
a
Suppose -8*n + 21 = -43. Let p be (-2 + -2 + 2)*2. Let s be (12/40)/(p/n). Is -2 greater than or equal to s?
False
Let r(g) = 5*g**3 + 4*g**2 + 12. Let h(s) = -6*s**3 - 5*s**2 - 13. Let q(i) = -4*h(i) - 5*r(i). Let l be q(0). Let u = l + 4. Are -5 and u nonequal?
True
Let s = 758321/9455 - 6/1891. Which is smaller: s or 81?
s
Let z = 13 - 8. Suppose 2*f - 3 = z. Which is smaller: f or 6?
f
Let w be (-726)/(-30) + 6/(-30) + 2. Which is smaller: 25 or w?
25
Let q(r) = -r**3 - 5*r**2 - 5*r + 1. Let c be q(-4). Suppose 3*v - 4 + 3 = -2*a, -c*v = -4*a + 35. Suppose 5*m - 2*d = 10, -a*d - 14 = -5*m + 11. Is -1/14 < m?
True
Let o be 2/4 - 5/(-2). Let a = -65.5 + 75.5. Which is smaller: a or o?
o
Let z = 4.8 + -3.8. Let t = 2 - z. Is t <= -1.6?
False
Suppose 2*p + h = 23, 0 = 5*p + 5*h + 28 - 78. Suppose 0 - p = -3*d + g, -4*g = -3*d + 7. Suppose 7*c - d = 2*c. Which is bigger: c or 3/2?
3/2
Suppose -4*g = -k + 10 - 38, 2*k = 0. Let q(h) = -2*h - 1. Let o be q(-2). Let y be o*g/((-84)/8). Which is smaller: -2/3 or y?
y
Suppose -3*t - 11 = -m, -3*t - 9 = -5*m + 2*m. Let u be 2*38/16 + t. Is u at most 1?
True
Let k be 62/70 - 2/7. Let w be -1 + (-1)/(145/(-242)) + 393/(-655). Is w at least k?
False
Suppose -4*f + 2*f - 120 = 0. Let w be 826/28*(-2)/f. Let v = w + -14/15. Which is greater: 1 or v?
1
Suppose 195*a - 189*a = -156. Which is smaller: -103/4 or a?
a
Let z be (-6)/15 - 54/(-10). Suppose -3*j - 6 = 4*s + 14, 0 = 3*j + z*s + 25. Which is bigger: j or 3/10?
3/10
Let c = 10 - 5. Suppose c*t + 137 = -63. Let s = 83/2 + t. Which is greater: s or 1?
s
Let u(i) = -i**3 - 5*i**2 + i - 7. Let f be u(-5). Suppose -2*z - 2*m - 3 = -m, -2*m = -2. Let l be z + (22 - 0)/(-2). Which is greater: l or f?
f
Let q be 8801/(-117) - (-2)/9. Let l = q + 75. Is l bigger than -1/172?
True
Suppose -2*d = 2*p + 3*p + 22, 4*d = 4*p + 12. Which is smaller: p or 1?
p
Let x be 2 - (0 - 0) - 5. Let h be (-2 - 8)*(-1)/(1 - -1). Suppose -v + 10 = -h*v + 2*q, -5*q - 11 = -v. Which is smaller: x or v?
v
Suppose m + m + 132 = 0. Suppose 0 = -t - 2*x + 3*x - 68, -2*t - 139 = -5*x. Which is smaller: m or t?
t
Let m = -13 - -12.4. Let y = m + 1.6. Is y bigger than 10?
False
Let s be (-10)/(-2) + (-3996)/796. Is s bigger than 0?
False
Let k = 71 + -68. Suppose -k*g = -2*o + 5*o - 9, 4*o + 2*g = 4. Is -48 not equal to o?
True
Suppose -972 = y + 2*y. Let g be 156/(-54)*-12*561/(-60). Let n = y - g. Is n less than -1?
False
Let m = 103.1 + -119.1. Is 19 <= m?
False
Let n be (0 - 0 - 2) + 6. Suppose 0 = n*u, r + 2*u - 8 = -u. Which is smaller: -2 or r?
-2
Let i(r) = -r - 5. Let y be i(-8). Suppose 4*u - y*q + 12 = -u, 0 = -4*q + 16. Which is smaller: u or -4/15?
-4/15
Suppose -5*x = -4*x. Suppose 12*p - 3*p = x. Which is greater: p or -1/8?
p
Let t = -6 - -7. Let i(b) = 5*b - 6. Let z be i(2). Is t at least z?
False
Let s = 21 - 14. Suppose -10*u + 27 = -s*u. Are u and 9 equal?
True
Suppose 0 = 5*w + 6368 - 1388. Is w > -995?
False
Let i(f) = 2 - 5*f + 9*f - f**2 + 4. Let b be i(5). Which is greater: b or 0?
b
Let v(k) = -5*k**3 - 4*k**2 + 3*k + 5. Let f be v(-3). Let u = -81 + f. Is 14 >= u?
True
Let p = -2 + 6. Let f = p + -7. Suppose -2*u - 10 = -2*h, -4*u + 16 = -8*u + 3*h. Which is bigger: u or f?
u
Let d = -2/168407 + -82014169/3368140. Let l = d - -97/4. Suppose -3*c - 8*x + 10*x - 2 = 0, -4*c - 2*x = -2. Is c smaller than l?
False
Let i be (-5)/15 + 13/3. Suppose -4*k + 8*k = i*c - 24, -5*k - 10 = 0. Suppose u = 4*q + 19, -q + c*u = -u. Are -6 and q equal?
False
Let s = -96.2 - -105. Let y = s - 1.8. Is y at least 5?
True
Let o = 41.34 - 7.44. Let p = -34 + o. Is p < 3?
True
Suppose 3*d = -d, -3*d = -2*v + 2. Which is smaller: -5.77 or v?
-5.77
Let a(o) = -o. Let c be a(-4). Suppose -3*y = c*k + 20, k + y = 2*k - 2. Let n(r) = -r**2 - 9*r + 7. Let s be n(-10). Which is smaller: k or s?
s
Let p = 0.453 + -0.253. Which is smaller: p or 0.73?
p
Let t(n) = -n**3 + 5*n**2 - 5*n + 2. Let s be t(3). Suppose -2*r + r = -w + 1, -s*r + 2*w = 2. Suppose 3*i + 3*i = r. Are 4/13 and i non-equal?
True
Let b = 310 - 345. Is 0.4 <= b?
False
Suppose -8*h + 4*h = 0. Suppose h*b - 14 = 2*b. Let q be 1*b/(42/4). Which is greater: -2/5 or q?
-2/5
Suppose 0 = -2*c + c + 25. Let k be (-70)/c - 8/(-10). Let s be ((-4)/(6 + k))/1. Which is smaller: s or -4/5?
s
Let b be (37/(-2) - 1)/((-3)/(-12)). Let j = b - -100. Let v = 20 + 1. Is j smaller than v?
False
Let z = -17193/4 - -4029. Let r = -263 - z. Is 6 bigger than r?
False
Let f = -26 - -4. Let o be 1 + (-42)/f + -3. Is o at most 0?
True
Let m = 0 + -0.4. Let o be ((-70)/(-10))/(21/9). Is o greater than m?
True
Let q be (952/(-7))/(-8) - 2/2. Let o be (q/(-88))/(2/(-8)). Are 2 and o nonequal?
True
Let k = 38 - 35. Suppose -5*p - k*o = -o - 45, -5*o + 18 = 2*p. Is 9 less than p?
False
Let m = -2/1213 + -24246/8491. Let h(g) = -2 + 11 - 9*g - 19 - g**2. Let w be h(-8). Is w less than or equal to m?
False
Let u(r) = -r**2 - 5*r + 6. Let y be u(-6). Suppose 6 = -3*n - 2*h, 0 = -n - 3*h + h + 2. Let c be y - 1 - (2 + n). Which is smaller: c or -3/8?
-3/8
Let a(d) = 11*d**3 + 7*d**2 - 9*d + 4. Let b be a(1). Do b and 44 have different values?
True
Let g be ((-132)/(-176))/(2*2/(-16)). Are -20/11 and g nonequal?
True
Let r = 7778 - 5545715/713. Is r > 0?
False
Let w = -183 - -183. Do w and -4/103 have different values?
True
Let k = -168.9 - -445. Let z = k - 288. Let i = z + 12. Which is greater: i or 0.4?
0.4
Let i = 1290.09 + -1300. Let u = 9.7 + i. Do u and -0.1 have the same value?
False
Let d be 30 + (-2)/((-1)/(-1)). Suppose d = -5*a - 47. Is -15 smaller than a?
False
Let x = -34 - -35. Let m be ((-5)/10)/(x/2). Let o be ((-4)/6)/(3/9). Is m less than or equal to o?
False
Let r = -36 - -37. Let l be 300/16 - r*(-2)/8. Is 18 bigger than l?
False
Suppose -5*h + 0*h + 30 = 0. Which is smaller: h or 63/13?
63/13
Let y(t) = -69 - t**2 + 35 - 4*t + 31. Let r be y(-2). Let m be 36/(-115) + (-4)/(-10). Which is smaller: r or m?
m
Suppose -15 = -6*k - 105. Let t = 48 + -62. Which is bigger: k or t?
t
Let x(d) = -21*d**3 + d**2 - d. Let r be x(1). Do r and -230/11 have the same value?
False
Let m = -506 + 503. Which is greater: m or -0.15?
-0.15
Let w(p) = p**3 + 9*p**2 + 13*p - 8. Let n be w(-7). Let s