.1 - o. Which is smaller: u or a?
a
Suppose -8*g + 264 - 240 = 0. Let o be (1 + 0)/(2 + -3). Do o and g have different values?
True
Let a be 1*-1*2*(-63)/(-10773). Is a at most as big as 1?
True
Let o = -66 + 78. Which is smaller: 13 or o?
o
Let l = -11988430 - -108086375/9. Let b = l + -21028. Let u = b + -139. Is 1 equal to u?
False
Let c = 3 - 3. Suppose c = 3*z + 3 - 27. Let j be z/(-1)*1/2. Which is bigger: j or -3?
-3
Let l = 1.91 + -0.73. Let p = l - 0.18. Is p at most as big as -0.7?
False
Let o(c) = -c**2 - 20*c + 32. Let s be o(-22). Is -11 > s?
True
Let j = -17.4 - -27.4. Which is smaller: j or -1?
-1
Suppose 3*l = -2 - 4. Let g be (54/l)/(-3) - 2. Let a = g - 8. Is a <= -3?
False
Let w = 5.9 - 6. Let t = -14 - -13.89. Let c = -2.89 + t. Is c at most as big as w?
True
Let z be (12/7)/(4/(-28)). Is z at most as big as -12?
True
Let d = 7.5 - 4.2. Let m = -3 + d. Which is greater: -1 or m?
m
Let a(x) = x**3 - 8*x**2 - 10*x + 8. Let m be a(9). Is m less than or equal to -12?
False
Let g = -440/17 + 26. Let v be 9/(-6) - (2/4 - 1). Are v and g unequal?
True
Let n = -0.05 + 0.01. Let d = n + 0.1. Which is smaller: d or 2/5?
d
Suppose -15*o - 105 = -10*o. Let y = o + 29. Is 7 greater than y?
False
Suppose 4*r = 2*r - 10. Are -18/5 and r unequal?
True
Let f(m) = 0*m + m + 3 + 1. Let w be f(-5). Which is greater: w or 0?
0
Let d be (24632273/(-1034))/((-354)/4). Let r = -26/8319 - d. Let z = r + 269. Which is smaller: z or 1?
z
Let m be 40/(-15)*(-387)/(-20). Let k = 52 + m. Which is bigger: 1 or k?
1
Let y be 7*(-1)/2*18. Let u be 29*(y/(-372))/3. Let c = u - 12/31. Is 1 >= c?
False
Let s = -8 + 14. Do -2 and s have the same value?
False
Let j = 0.04 - 3.04. Let g = j + 2.9. Let m = -8 + 7.9. Is m greater than or equal to g?
True
Let u = 1.82 - -0.18. Which is greater: 1 or u?
u
Suppose 0 = b + 2*b - 6. Let u be (1/b)/((-28)/(-7968)). Let i = u - 142. Is i less than 0?
False
Suppose -3 = -3*m + 4*r + 4, m - 4 = 3*r. Suppose -z - 3 = -4*v, -3*v + m + 10 = z. Let g = -1 + 2. Which is smaller: v or g?
g
Suppose 0 = 8*c + 189 - 21. Is -21 smaller than c?
False
Let q = -0.22 - -2.22. Which is smaller: 2/11 or q?
2/11
Let f = 3.1 + -2.8. Is -0.06 >= f?
False
Let o be 1*2*3*(-6)/36. Which is bigger: o or -4/27?
-4/27
Let a = 1 - 1. Let g = 0 + a. Let o = 17/45 - 2/45. Which is bigger: o or g?
o
Let f be (25/(-10))/((-20)/16). Which is smaller: -9 or f?
-9
Suppose 3*j - 2*w + 17 = 99, -2*w = 3*j - 86. Let y be 64/j + (-4)/14. Is 2 less than or equal to y?
True
Let c = 0.18 + -0.08. Let w = c + -0.6. Is w at least -1?
True
Let r be (-3)/(6/(-20))*-1. Let h be -2 + (-1)/(r/18). Let j be (2/(-1) + 2)*(-5)/(-10). Which is smaller: j or h?
h
Let o(h) = h**2 - 5*h - 1. Let t(v) = 2*v - 3. Let g be t(6). Suppose -c - 4 = -g. Let m be o(c). Which is greater: 1/3 or m?
1/3
Let v(p) = -p**3 - 2*p**2 + 1. Let n be v(-2). Let l be 4*4/(48/(-9)). Let g = 3 + l. Is g less than or equal to n?
True
Suppose 13*w = 782 + 388. Are 90 and w nonequal?
False
Let k(g) = -g**2 - 16*g + 5. Let q be k(-16). Which is smaller: -2 or q?
-2
Let q = 59 + -27. Suppose 0 = d - 3*d + q. Suppose r - 3*r + 5*h + 8 = 0, -h - d = -4*r. Which is smaller: 1 or r?
1
Let v = -162 - -172.1. Let r = v - 10. Which is smaller: 1/2 or r?
r
Suppose -3*z = 17 - 17. Which is smaller: z or 5?
z
Let b = -15 - -14. Which is bigger: -1/24 or b?
-1/24
Suppose -5*j + x + 24 = 4*x, 4*x = 4*j. Suppose -j = -0*k + k. Let t = -2 - k. Which is smaller: t or 4?
t
Let d = -0.8 + 0.2. Let l = d + 0.4. Which is smaller: 0 or l?
l
Let g = 57 - 457/8. Which is smaller: g or 8?
g
Suppose 4*m - d - 37 = 2*d, 2*m = 2*d + 20. Let s = m - 6. Which is bigger: s or 1/3?
s
Let c(i) = i**2 - 2. Let y be c(1). Which is smaller: y or -16?
-16
Let p = 3 + 1. Let u = p - 6. Do -2 and u have different values?
False
Let b be 19/(-1) + (9 - 10). Is b less than -20?
False
Suppose 3*c - 11 = -2. Let l be 1*(-1 - 0) + c. Suppose -2*b - 4*m + 5 - 23 = 0, -m - 4 = b. Is l < b?
False
Suppose -4*j = -3 - 13. Let t be ((-20)/(-6))/(2/3). Let w be 5*(-2 + 14/t). Is j < w?
False
Let y = -0.16 + -1.84. Are -1 and y equal?
False
Let b(z) = z**3 - 5*z**2 + 3. Let v be b(5). Suppose -2*i = x + 2*i + 12, -9 = x + v*i. Is x at least -4/7?
True
Let w = -173/3 + 3272/57. Which is smaller: 1 or w?
w
Let b(j) = j - 1. Let i be ((-8)/14)/(6/(-21)). Suppose i*l + 30 = -3*l. Let p be b(l). Which is smaller: p or -6?
p
Let k be -2*(-124)/(-8) + (3 - 0). Is k at least as big as -27?
False
Let x = -112 - -117. Are x and 7/2 nonequal?
True
Let x(s) = -s**3 + s**2 - 3. Suppose y + y = 0. Suppose o + o = y. Let r be x(o). Which is greater: r or -5?
r
Let f = 8 + -10. Which is smaller: -3 or f?
-3
Let j be ((-12)/18)/(12/198). Which is greater: j or -8?
-8
Let a be -1 - -2 - 4/(-2). Let s be a/(-12 + 3) + 1. Which is bigger: s or -0.5?
s
Let c = 101120/350251 + 2/31841. Let h = c + -8/17. Is -1 <= h?
True
Suppose -r + 5*m = -4*r, -4*m = -r. Which is smaller: 6/19 or r?
r
Suppose 0 = -g + 2*g + a - 2, 3*g - 22 = 5*a. Suppose g*k = 7*k. Let y = 647/852 + -2/213. Is y bigger than k?
True
Let m be 1 + -12 + (6 - 3). Let z = -7 - m. Which is bigger: z or -2/15?
z
Suppose 15 = 5*t - 5*y, -2*t - 3*y + 6 = -0*t. Suppose 4 = -2*b + 5*k, b + 5*k = 2 + 11. Suppose 2*d + b - 11 = 0. Which is smaller: d or t?
t
Let y(p) = 3*p - 23. Let a be y(8). Which is bigger: a or 0?
a
Let c = 125 - 125.003. Which is smaller: -1 or c?
-1
Let r = -26 + 41. Let f = -10 + r. Do f and 1 have different values?
True
Let p(d) = -d - 13. Let l be p(-6). Let s = 19 + -11. Let h = s + l. Is 2 < h?
False
Suppose 3*w = 5*s + 3, 3*s = 4*w + 7*s + 28. Suppose c = 3 - 5. Is c smaller than w?
False
Let k be 2/4 - (-19)/(-38). Is k > 0.021?
False
Let y = -81/4 + 20. Is -0.24 greater than y?
True
Suppose -2*q = 3*t + 43, 14 = -q - 3*t + 4*t. Let j = 21 + q. Suppose 4*f = -5*i + 1, -5*i = 5*f - 2*i - 11. Are j and f equal?
True
Suppose -4*r + 40 = 2*h, 6*h = 2*h - 3*r + 65. Suppose -9 = -f - 2*c, h = -f + 3*c - 2. Let t = -4 + 2. Is f smaller than t?
False
Let h = -14 - -21. Let u be 1 + (-3 - -1) + h. Which is bigger: 7 or u?
7
Suppose -291 = 2*m - 13. Let r = 54 + m. Let k be r/130 + 2/13. Which is smaller: k or 1?
k
Suppose 4*s = h + 16, -3*h - 17 = s + 2*h. Suppose 5*k - 1 + 16 = -3*o, -s*k - 10 = 2*o. Let l = -3/4 - -2/3. Which is smaller: k or l?
l
Let s(f) = -f**2 + 3*f + 6. Let a be s(8). Let p be a/(-10) + 2 + -5. Which is smaller: p or -3?
-3
Suppose h - 4*h = 9. Let c(y) = y**2 + 10*y + 13. Let m be c(-8). Is m at most as big as h?
True
Let b = 9872/47 + -210. Does -1 = b?
False
Let q = -5 + 11. Is 52/7 at most as big as q?
False
Let t be (1/(-3))/((-2)/(-6)). Suppose 0 = -h - 4*n + 9, 0 = 2*h - 3*h + 5*n - 18. Let s be -2 + 0 + h/(-3). Is t != s?
False
Let x be (3/(-2484)*4)/(2/4). Is 0 less than x?
False
Suppose -c = -p - 6, 0*c + 3*p - 2 = -2*c. Let l = 3 - c. Which is greater: l or 1?
1
Let p = 86 - 187. Is -100 less than or equal to p?
False
Let f = 14 + -20. Let m be 33/(-45) + f/(-15). Which is greater: 1 or m?
1
Let n(u) = 4*u**2 - 5*u + 6. Let d be n(4). Suppose h + 4*x = 5, -h - 4*h - d = -5*x. Let k(r) = -r**2 - 7*r + 1. Let p be k(h). Are p and 1/5 nonequal?
True
Suppose -q + 4*q = 0. Let d = -2 - q. Let g = -4 - d. Which is bigger: -1 or g?
-1
Suppose 0 = 2*n + n + 2*q - 8, -4 = -q. Which is smaller: n or 2/47?
n
Let p = -1 + 1. Let t = -201 - -202. Is p <= t?
True
Let z = -0.3 + 2.3. Let a = z + -2. Which is bigger: 0.1 or a?
0.1
Let a be (44/231)/((-2)/(-3)). Are -12/5 and a non-equal?
True
Let v be (66/(-12) + 5)*1. Suppose -4 = 2*n - 2. Which is bigger: v or n?
v
Suppose -10 = 9*a - 4*a. Let c be ((-6)/28)/((-6)/(-16)). Is a at most c?
True
Let f = -18.3 + 18. Let z = f - -0.2. Is z at least as big as -0.1?
True
Let t be (-4)/(-14) - 802/14. Let w = t + 169/3. Is w smaller than -2?
False
Let h be 0*(4 + 15/(-5)). Is 3 equal to h?
False
Let c = 1/7 - -5/14. Is 7 > c?
True
Let o be 3*(1 - (-15)/(-5)). Suppose 3*n - 5 = 1, 3*h = -n + 14. Let z = h + o. Which is greater: z or -3?
z
Let s = -29/7 + 225/56. Is s < 0?
True
Let f = 51 - 51. Which is greater: f or 2/271?
2/271
Let g = -38 + 263/7. Is g > 0?
False
Let j = 15 + -10. Suppose -2*x + j*y + 17 = 0, 0*y + 1 = x + 5*y. 