ost as big as x?
True
Let f be 1 + (2*12/(-8) - 624). Which is smaller: 0 or f?
f
Let z = -7.3 + 7. Let h = 0.604 + -0.614. Is z bigger than h?
False
Let s be 16/(-20) - (6 - 7). Is -15 less than s?
True
Suppose 0 = 2*d - 13*d - 352. Let u be ((-39)/7)/(d/112). Which is bigger: 19 or u?
u
Let u = 197/386 - 2/193. Let n be (-3 + (1 - -1))*-1. Which is smaller: n or u?
u
Let d = -85 - 4. Which is smaller: d or 0.1?
d
Let b be (-3)/(-30)*-2 + 12138/10290. Is b > 0?
True
Let v(i) = i**2 - 30. Let f be v(6). Which is smaller: -0.9 or f?
-0.9
Suppose 2*y + 24 = 12. Let b be y/(4 - (5 - 2)). Is b at least as big as -6?
True
Let i = 124 - 125. Is -8/45 greater than or equal to i?
True
Let k(d) = d**3 - 8*d**2 + 15*d - 7. Let v be k(6). Suppose v*s = 13*s. Which is smaller: s or -5/34?
-5/34
Let o be 6 - -13*(5 - 8). Which is smaller: o or 6?
o
Let k = -24.5 + 23. Let z = -3.5 + k. Are 1/2 and z unequal?
True
Let n be 10/(-6)*1/(-5). Let t be 3/(-1) + (-6)/1. Let y be (1 - -2)*(-3)/t. Are y and n unequal?
True
Let z = 707/3 - 236. Is -5 greater than z?
False
Suppose -218*k + 219*k + 2 = 0. Is -24/17 equal to k?
False
Let l be (1*(1 + -2))/(-1). Suppose 0*c = -5*c + 70. Let s be 5 - (3 - -3) - c/(-8). Which is greater: l or s?
l
Suppose t = 4*t + 3*k - 3, k + 1 = t. Let v be -9*((-16)/12 + t). Suppose h + 4 = v. Is h less than -2/83?
True
Let g = -1860.1 - -1862. Let s = 3 - 8. Let h = s + 5. Which is smaller: h or g?
h
Let z be (-1 - (3 + -3)) + 3. Let u be z/(-17) + 8437/(-1547). Does u = -7?
False
Let g be ((-142)/20 + 6)*8. Which is smaller: -10 or g?
-10
Let g be 11/((-6435)/222) - 2/(-6). Which is smaller: g or 1/4?
g
Let i = 0.02 - 0.1. Let t = -4.11 - -4.11. Which is greater: t or i?
t
Let r be 0/(-1) - (-1 - -6). Let l be r/(-35)*2/(3 - 1). Is 0 at least l?
False
Let d = -0.9 - -0.32. Let s = -0.6 - d. Let x = 55 + -56. Which is smaller: s or x?
x
Let h be 27/3 - (-1 + 1 - 0). Let p be (7/21)/(3/h). Suppose 5*u = -0*a + 4*a + 2, 5*u - 5*a = 0. Which is smaller: u or p?
p
Let a be -5 + (3 - 2)*7. Is 60/59 bigger than a?
False
Suppose 2*p = 5*p - 6. Suppose c - y = -1, c - p*y = -3*c - 10. Let m be c - -1 - 15/(-3). Which is bigger: 3 or m?
3
Suppose 1 = i + d + 5, 3*i + d + 10 = 0. Let p = i + 7. Let y = 11 + -6. Is y bigger than p?
True
Let u(b) = -27*b**3 - 5*b + 2. Let j be u(2). Let s be -2 + 96/1788*j/(-6). Which is greater: -1 or s?
s
Let c = -26 + 27. Suppose c + 39 = 4*x. Suppose -5*l + 25 = -4*m, m + l + l = x. Is 2/37 equal to m?
False
Let s = -32 + 9. Let t = 23.1 + s. Is -5 smaller than t?
True
Let f = 9483/7 - 1355. Suppose -2*g = 2*g - 4. Is f less than g?
True
Let k be 9*(-2 - 7/(-3)). Suppose k = 4*t - 5*t. Let v be -1*t/((-135)/2). Which is smaller: 1 or v?
v
Suppose d = -19 + 1. Let g(t) = -4*t**2 - t - 17. Let v be g(0). Is d less than or equal to v?
True
Let q(x) = x - 15 + 6 + 6. Let n be q(3). Let z be (-2 + -1)/(-6) - 214/444. Which is greater: z or n?
z
Let c be (12 + 2)*6/7. Suppose -19 = -2*l - k, k - 3 + 5 = l. Let d = 20 - l. Which is smaller: c or d?
c
Let r(h) = -2*h**2 + 5*h + 1. Let z(d) = -3*d**2 + 6*d. Let f(k) = 4*r(k) - 3*z(k). Let m be f(-2). Let o be 0/(m/1)*1. Which is smaller: o or -6/5?
-6/5
Let h be (-494)/351 + -1*8/(-6). Which is smaller: h or 12?
h
Let i be (-12)/5 - (-7)/21. Which is greater: i or -1?
-1
Let g = 26 + -32. Let z be (-70)/(-30) + g/(-9). Suppose -4*c + z*r + 33 = 0, c - 2*r + 18 = 5*c. Which is smaller: c or 7?
c
Let k(u) = -16*u**2 - 2*u - 5. Let t be k(3). Are t and -157 nonequal?
True
Let u be -1 + 5 + (-13 - 344/(-40)). Are u and -373 nonequal?
True
Let g = 61 - 58. Suppose y = -4*p + 6, -4*p - p = -y - 3. Let q be (g + (-76)/28)/p. Which is bigger: 1 or q?
1
Suppose 100 = -4*p - 3*u, -3*p - 96 = 10*u - 13*u. Is p less than or equal to -28?
True
Let l = 165/2 - 62. Do l and -2/5 have different values?
True
Suppose -4*z = -4*b, 0*b + b - 4*z + 9 = 0. Let t = b + -3. Suppose -8*p = -0*p + 9*p. Is t smaller than p?
False
Let v be (-12855)/(-65) - 4/(-16). Let z = -198 + v. Is z at least as big as 1?
False
Let h = 641/35 - 93/5. Let m be (1*-9)/3 - 30. Let d be m/(-12) + 2/8. Are h and d non-equal?
True
Let h = -1 + 4. Suppose -6 - 6 = y - 5*l, 0 = -5*y + 5*l. Suppose 30 = 5*f - 5*p, -h*p = -0*f + y*f. Which is greater: f or 1?
f
Let w(c) = 120*c - 3. Let d be w(2). Let u be 4/(-32) + d/(-24). Let o be (3/(-3))/(-6 - -5)*-9. Is o equal to u?
False
Let f = -40/11 + 258/77. Are f and -307 nonequal?
True
Let i = -992.05 - -992. Is i > 2/43?
False
Let a(z) = 2*z**2 + 84*z + 100. Let w be a(-41). Which is smaller: 20 or w?
w
Let o(k) = 12*k**2 - 21*k + 36. Let l be o(6). Which is greater: l or 341?
l
Let o(z) = z - 18. Let b be o(9). Let n = b - -11. Suppose n*t = 7 + 1. Which is greater: t or 5?
5
Let x = -7990/3 + 2660. Let c = -2 + -1. Is c at least x?
True
Let g be 3 + 1 + 9/(54/492). Do 84 and g have different values?
True
Let o be 1/(2 - 10/6). Suppose 2*l - 17 - 3 = -o*i, -2 = i + 5*l. Which is bigger: i or 10?
10
Suppose -2*v + 7*v + 93 = s, 2*v + 28 = 5*s. Which is bigger: 12 or v?
12
Let f = -0.2 + 0.2. Suppose -5*g - m + 1011 = 0, 5*m + 113 + 110 = g. Let j = g - 1012/5. Which is smaller: j or f?
f
Let k(z) = -z**3 + 6*z**2 + 1. Let y be k(6). Suppose 45 = 2*j - q, -24 = -j - 2*q - 9. Let d be 6/j + (-208)/532. Which is bigger: d or y?
y
Let v = 23 - 11. Suppose 2*m - 5*r = 3*m - 15, 0 = 3*m + 4*r - v. Which is greater: -2/195 or m?
m
Suppose 3*v - 3 = t + 6*v, -6 = 2*t - 5*v. Let p(j) = 9*j + 13. Let f be p(t). Does -14 = f?
True
Suppose 0 = -z - 3, -1 + 5 = p - 2*z. Let v(x) = x**3 + 3*x**2 + 3*x + 1. Let j be v(p). Are 3/32 and j non-equal?
True
Suppose -38 = -4*r - 14. Which is greater: 9 or r?
9
Let g = -2 - -7. Let n = g - 7. Suppose 2*h - x - 2 = -11, 0 = -3*h + 2*x - 15. Which is smaller: h or n?
h
Let g = 4 + 9. Let x = 81 + -70. Let k = x - g. Which is bigger: k or -7?
k
Let v(p) = -6*p - 14. Let s be v(-27). Which is greater: s or 149?
149
Suppose -x = 3*d + 1 + 13, 5*d = x - 26. Does x = -1/165?
False
Let u be -22*4/(-24) - 3. Which is greater: u or 57?
57
Let g = 45203/1048 + -345/8. Let l = g + -267/655. Is 1 > l?
True
Suppose 3*n + 3*q = q - 9, -2*n + q + 1 = 0. Let b be 1/(3/(4 + n)). Which is greater: -6/13 or b?
b
Let w = -420 - -463. Is -2/3 != w?
True
Suppose -4*y - 62 = p, 14*y - 12 = 10*y. Which is greater: p or -42?
-42
Let p(a) = 8*a**2 + 215*a - 27. Let n be p(-27). Let o = 8 + 2. Let h be ((-4)/(-14))/(4/o). Is n >= h?
False
Let a be (-25)/100 + (-439)/68. Which is smaller: -8 or a?
-8
Suppose 4*x - 3*b = -133, 0 = 2*x + b - 6 + 65. Are x and -30 unequal?
True
Let o = -188.9 + 189. Are -33 and o unequal?
True
Let f = -84 + 88. Let s = f - 5. Is s greater than or equal to -0.04?
False
Let y = 0 - -2. Let z = 43 + -42.986. Let w = z + 3.986. Is y > w?
False
Let d be (-256)/(-10) - 27/45. Let w = 35 + d. Let n be 10/40 - 7/w. Is -1 less than n?
True
Let n = -10 + 15. Let f be -3 + 35/20*4. Is n at least f?
True
Let z(f) = -4*f**3 - f + 1. Let u be z(-2). Is u smaller than 4?
False
Let r = -0.1652 + 0.0872. Are 0.4 and r non-equal?
True
Let i be -2*23/2 + 1. Let v = -1340 + 1319. Is v at least i?
True
Let z be (-39)/(-14)*(-6)/(-9). Let y = 51/35 - z. Which is bigger: y or 12?
12
Let q = 174.6 + -169. Which is smaller: 1/2 or q?
1/2
Suppose 3*h - 10 = -4*z, 3*h + 10 = 2*z - z. Suppose 0 - 4 = 2*k - i, 4*k = -z*i + 16. Which is bigger: k or -1?
k
Let j(s) = s**3 - 4*s**2 - 4*s - 3. Let f be j(5). Let t be f/(-27)*(-5)/(-15). Suppose 2 = -4*r + 3*w, 0 = -0*r + 4*r - 4*w + 4. Is t at most as big as r?
True
Let m = 24 - 48. Let f = m - -38. Let s be (-24)/f - 1 - -3. Is s != 1?
True
Let p(r) = -r - 5. Let b be p(-10). Suppose 2*f - 3 = 4*f - b*u, -5 = -f - 4*u. Which is bigger: f or 4/13?
f
Let n = 352.53 + -351. Let x = 1.01 - n. Is -1 bigger than x?
False
Let w be 3/(-1) - ((-5 - -7) + -4). Let o be 14*w/12 + (-6)/12. Is -3 > o?
False
Suppose 34*q - 37*q + 6 = 0. Let k be ((-1)/((-4)/(-6)))/(q/(-8)). Is k at most as big as 4?
False
Suppose -3*z + 7 = -4*b, -3*b + 19 = 3*z - 2. Let m(k) = k + 12. Let f be m(-7). Is f > z?
False
Let f = -77 - -76.7. Is -17 not equal to f?
True
Let t = -31/99 + -9/22. Which is greater: -2 or t?
t
Let p be -1*(-1 + -4)/1. Let