 1/4 or w?
1/4
Let f = -171 - -176. Which is smaller: 29 or f?
f
Let j = 1920/377 - 54/29. Let v = -517/156 + j. Which is smaller: v or -1?
-1
Let z = 1/3 + -1. Let o = -51 - -51. Let q(k) = -k**3 - k**2 - k + 1. Let g be q(o). Is g greater than z?
True
Let q = -227.7 + 212. Let h = q - -1.7. Let y be (-1)/3 - ((-4)/3)/4. Is h > y?
False
Let l(p) = -4*p + 2*p**2 - 2 - 3*p**2 + 0*p**2. Let o be l(-3). Let j = -4678/17 - -275. Is o != j?
True
Let f = -0.9016 - 0.0984. Which is smaller: f or 5/16?
f
Suppose 34*r = 29*r + 5. Let a be (1 - -2)*3/21. Is a equal to r?
False
Suppose 4*i = 4, 3*b + 3*i - 13 = 2*i. Let p be b/(-14) - (-110)/(-7). Is p > -16?
False
Let x = -1/2975 - -17887/110075. Which is smaller: 0 or x?
0
Let y(g) = -g**2 - 45*g + 143. Let a be y(3). Which is smaller: 2/215 or a?
a
Suppose 0 = -5*b - 0*b. Suppose 0*d - 5*d + 270 = b. Let q be ((-10)/6)/(6/d). Is -16 smaller than q?
True
Let s = -43 - -26. Let d be 6/4*(3720/18)/5. Suppose 0 = 3*y + 5*x + 66 - 16, 4*y + d = -2*x. Which is bigger: y or s?
y
Let m be 3/2 - 2/(-8). Suppose -2*i + 35 = -i. Let p = -32 + i. Which is smaller: m or p?
m
Let k be (-4 - -3) + 2 - 15. Let b be 2/(-4 - k/4). Let m be (3/9)/(b/6). Which is greater: m or 0.1?
0.1
Suppose 3*x = 2*x + m + 32, -6 = 3*m. Is x less than 33?
True
Let x(w) = w**2 + 1. Let t be x(0). Let n(b) = -10*b + 4. Let h(c) = -1. Let q(m) = 3*h(m) + n(m). Let r be q(t). Which is smaller: r or -10?
-10
Let f be (-9)/((-72)/(-32)) - 4. Do f and -4 have different values?
True
Let z be ((-14)/(392/(-21)))/((-3)/2). Is 0.2 less than or equal to z?
False
Suppose 0*n = 2*m - 5*n + 52, n - 176 = 5*m. Which is greater: -35 or m?
-35
Let a = 365 + -382. Which is bigger: a or 2.4?
2.4
Let k = 6.3 + -2.3. Let f = k + -4.2. Let s = -0.7 + 4.7. Which is greater: f or s?
s
Let r be 4/30*-3*-5. Suppose 0*w = r*w. Let a = -3 + 3. Are w and a unequal?
False
Let y = 493 - 493.2. Which is smaller: y or 31/6?
y
Let p = 18 + -38. Let f = -61 - -51. Let b = p - f. Which is bigger: b or -0.1?
-0.1
Let j be (29 + 1)/(153/102). Do 12 and j have different values?
True
Let t(l) = 20*l - 947. Let x be t(47). Which is smaller: -2/147 or x?
x
Suppose 3*k + 289 = -k + 3*i, -4*i - 172 = 2*k. Let u = -379/5 - k. Is 0.7 greater than or equal to u?
True
Let t = -514/57 - -11021/57. Let q = t + -160. Let d = q - 23. Which is bigger: 2 or d?
2
Suppose -4*w - 1356 = 4*m, 0 = w - 0*w - m + 331. Which is bigger: -336 or w?
w
Let p be (2 + (-7)/5)*5. Let z be p/(4 + 43/(-10)). Is z at most -9?
True
Let z be (-9)/3*(-10)/6. Let b be (-33)/(3 + (-140)/45). Let y be 1233/b - (-2)/11. Which is bigger: z or y?
z
Let i = -24 - -24. Let h = i - 0.02. Which is smaller: 0 or h?
h
Let n = -251003/4000 + 3/4000. Let p = n - -63. Which is bigger: 3 or p?
3
Suppose m + 3*u = -u + 68, 5*m + 2*u = 250. Let q = m + -145/3. Let s = 0 - 1. Is q less than s?
False
Let u = -12 + 12. Let v(b) = -b**3 + 4*b**2 - 2*b - 5. Let h be v(3). Is h less than or equal to u?
True
Let a be ((-3)/(-1) - 2)*2. Which is bigger: a or -9?
a
Suppose 3*x = 2*y + y - 90, -3*x + 75 = 2*y. Let n = y + -29. Suppose -2*w - n = -4*w. Is -0.4 < w?
True
Let b(x) = x**3 + 5*x**2 - 7*x + 2. Let n be b(-6). Is n less than or equal to 128/15?
True
Let x = 120 + -120. Do 12/341 and x have the same value?
False
Let n = -1/1380 - -5729/288420. Which is bigger: n or -1?
n
Let l = 4 - 7. Let h = 0.39 + -0.29. Let p = -1.1 + h. Which is smaller: p or l?
l
Let r(h) = -h**3 + 2*h**2 + 5*h - 1. Let z be r(4). Let o = z - -8. Let q be (4 + -10)*4/6. Which is greater: q or o?
q
Let b = -1031/736 + 45/32. Which is smaller: 0 or b?
0
Suppose 19*x + 28 = 66. Let t(s) = s**2 + 5*s. Let v be t(-5). Suppose v = -b - 3 + 4. Is b greater than x?
False
Suppose 0 = 5*b - 0 - 25. Suppose j + 9 = 2*g - b, -5*j = -20. Is 8 < g?
True
Let o = -0.21 - -11.21. Let v = -10.6 + o. Let h = 234 + -2104/9. Which is greater: v or h?
v
Let j be 3/(8/1296*-33). Which is smaller: j or -15?
-15
Suppose -8*h - 236 + 84 = 0. Are -12 and h nonequal?
True
Let p = 0.179 - 7.279. Which is smaller: p or 0.2?
p
Let p be (-11 + 42330/3850)/(8/(-10)). Are p and -1 unequal?
True
Let u = -2.7 - -1.3. Let w = -2290 - -2288. Is u greater than w?
True
Let f be (-7 - 388/(-56))*1*4. Is f equal to -0.099?
False
Let n = 0.3 - 0.3. Let q = -8.17 - -8.2. Are n and q nonequal?
True
Let d = 182 + -169. Is 13 bigger than d?
False
Let u(i) = -5*i**2 + 154*i - 31. Let z be u(31). Let a = 120 - 181. Does a = z?
False
Let n(u) = -19*u - 174. Let a be n(-9). Let v be 0/1 + -1 + 0. Which is bigger: v or a?
v
Let s = -4486/33 - -136. Let y(l) = -77*l + 76. Let f be y(1). Is f < s?
True
Suppose 4*r - 5*r = -5. Suppose 0 = -11*j + 79 - 46. Is j >= r?
False
Let s(d) = -d**3 + 13*d**2 - 1. Let i = -15 - -19. Suppose i*c + 26 = 6*c. Let j be s(c). Do j and 3/2 have different values?
True
Let n be (-9)/(-21) + 1 + -2. Let w = -34 - -31.2. Let r = -3 - w. Is r at most as big as n?
False
Suppose -2*s + 46 = 2*l, 3*s = 2*l - 25 - 6. Is l at least 130/7?
True
Suppose -5*d + 13*d = 64. Is -0.8 bigger than d?
False
Let r = -886 - -880. Which is bigger: r or -41/9?
-41/9
Let x = -180 - -157. Is -38 >= x?
False
Let z = -2647681/838 - -6319/2. Does z = 1?
False
Let q = 31 - 22. Let u = 14 - q. Let t = 9 + -5. Is t bigger than u?
False
Let p = -1956 + 1928. Which is smaller: -200/7 or p?
-200/7
Suppose -2*o = 4*h + 23 + 11, 0 = 3*o + h + 61. Let q be 2 - (0 - 276/o). Let k = q - -75/7. Is -1 bigger than k?
False
Let t = -239/531 + 1/177. Let w = 4 - 2. Suppose w*v + 3*v + 25 = 4*o, 4*o = -4*v + 16. Do v and t have the same value?
False
Suppose 8*p - 18 = 6*p. Let r be 0 + -1*(30/p)/2. Is r less than or equal to -3?
False
Suppose 1153 = -21*d + 9028. Is d less than 376?
True
Suppose -v = -70 - 47. Let m be (-4)/(-22) - v/825. Let h = -21/275 + m. Is 1 < h?
False
Let u(c) = -4*c**2 - c - 1. Let w be u(-2). Suppose 2*i - 4 = 2*s, 4*s = -4*i + i + 13. Let m be -2 - (w/i)/1. Is m at least as big as 7?
False
Let v be (0 + -2)/10 + (-6479)/1705 - 1. Let u = -0.01 + 0.41. Which is smaller: v or u?
v
Let n(m) = 2*m**2 + 11*m - 4. Let j be n(-6). Suppose 2*f + j*f = 0. Let y be 8/(-36) + (-23)/(-90). Which is smaller: f or y?
f
Let r = -3974/3 + 1338. Let p be (-265)/(-106)*(-24)/(-5). Is r not equal to p?
True
Let o be 5*114/360 - (0 - 1). Do o and 4 have the same value?
False
Let z = 221 - 218. Which is greater: z or 0.1?
z
Let q(a) = -4*a + 2. Let g be q(7). Let z = -80 - -45. Let f = g - z. Is 8 equal to f?
False
Suppose 4*d - 5*a = 10, 3*a - 6*a - 6 = -3*d. Let u = 147 - 1619/11. Does u = d?
False
Let w = 491 + -245. Let x = -34312 + 238459/7. Let s = w + x. Is 0 bigger than s?
True
Suppose -18*k = 28*k - 7958. Is 173 < k?
False
Let x be ((-2)/(-6))/((13/(-6))/(-13)). Suppose 5*i = 2*g - 4*g + 9, -6 = -4*g + x*i. Let y = -0.7 + -2.3. Is g != y?
True
Let y = 234 + -117. Let a = -116 + y. Which is smaller: a or -2?
-2
Let o be (1/(-10)*(13 + 1))/3. Let x = 2/15 + o. Which is smaller: -0.1 or x?
x
Suppose 7*n - 2 - 110 = 0. Let d be ((-12)/n)/(45/(-24)). Which is greater: d or 9?
9
Let s be (1 + 0)*(-38 - -39). Which is greater: s or -5/53?
s
Let b = -269 + 263.99. Let a = b + 0.01. Let r be (-4)/(-18) - (-7)/9. Which is smaller: a or r?
a
Let k be 30/26 + -2 + 1. Let a be 4/(-18) - 70/(-315). Are k and a nonequal?
True
Let b = 1097 + -1099. Let z(j) = -j - 7. Suppose 0 = 4*w - 3*l + 23, -5*w - 28 + 4 = l. Let f be z(w). Are f and b non-equal?
False
Let d = 38/21 + -148/105. Which is bigger: d or 127?
127
Let y = 43/120 + -1/40. Let m = -684 + 608.2. Let k = m + 74. Which is smaller: k or y?
k
Suppose -3*m + 20 = -4*g, 4*g = m + 2*g - 4. Suppose -m = 2*y + 6. Let j = 14 + y. Is j at least as big as 5?
True
Let y = -16.8 + 17. Let x = 22.9 + -24. Let n = x + 1.7. Which is smaller: n or y?
y
Let p = 60 + -106. Let u = p - -45. Are 0 and u unequal?
True
Let c = 54 - 29. Suppose 295 = 6*v + c. Let r be 18/v + (-72)/155. Is r equal to -1?
False
Let a(t) = 19*t - 11. Let z be a(1). Which is bigger: z or 20?
20
Suppose 1232 + 8027 = 47*m. Which is bigger: 199 or m?
199
Suppose -20 = -0*b + 4*b. Does b = -3?
False
Suppose 0 = 26*q - 31*q + 20. Suppose -95 = -q*g - 5*x - 14, 0 = 2*g - x - 23. Let u be 2/8 - 49/(-4). Is