reater: y or g?
y
Let s be 114/(-6) - (-10 - 3). Is s at least -15/8?
False
Let b be 2/(-5)*(-105)/147. Is -15.3 not equal to b?
True
Let j = -11 + 4. Let n(r) = r + 9. Let i be n(j). Suppose 7*b - i*b = 35. Do 7 and b have the same value?
True
Suppose -2*r - 10*q - 42 = -6*q, -q + 91 = -3*r. Let l be 45/6*(1 + -5). Is r less than or equal to l?
False
Let s = 33.35 - -0.65. Let b = s + -22. Let r = b + -12. Is -1/2 at most r?
True
Suppose 2*o - 3*l = -13, 40*o - 18 = 37*o - 3*l. Is o > 12/11?
False
Let f = 19.65 - 21. Let j = f + 0.35. Is j < 12/5?
True
Let f be (-1)/((-3)/(5 + -2)). Let i = -1 + 2. Let m be i*4*(-2)/28. Which is greater: m or f?
f
Let b(m) = m**3 + 18*m**2 - 41*m - 8. Let r be b(-20). Let p(q) = -q**3 + 11*q**2 + 13*q - 17. Let x be p(r). Is -7 >= x?
False
Suppose -4*f - 64 = 4*t, -6*t + 64 = -4*f - 2*t. Let p(i) = -i**2 - 8*i + 5. Let g be p(-10). Which is bigger: f or g?
g
Let q be (-3)/9 + (-1)/12*-4. Suppose 2*s - 15 + 27 = q. Does s = -6?
True
Let h(b) = -b**2 - 43*b + 0*b**2 + 1 + 40*b. Let w be h(-3). Which is smaller: 3 or w?
w
Let v = 329 + -970/3. Do 6 and v have different values?
True
Suppose 2*g = 4*c - 45 - 3, 0 = 5*g. Suppose 0 = -u + 5*r + 47, u - 3*r - r = 46. Suppose -5*n = -2*d + 26, -u - 23 = -5*d + 4*n. Which is bigger: c or d?
d
Let c = 23 + -22. Suppose 5*z + 3 = 4*l + 4, 3*z - l = 2. Suppose -x - z = -2. Do x and c have the same value?
True
Let k be (6 + (-75)/12)*-4. Which is smaller: 3/572 or k?
3/572
Suppose -w - 5*f + 140 + 149 = 0, 2*w - 2*f = 542. Which is greater: 275 or w?
275
Let x = -951 - -959.93. Let s = 0.07 + x. Let b = 12 - s. Which is greater: b or -1/3?
b
Suppose -5*w + q = 2*q - 401, -5*q + 142 = 2*w. Let f = w + -82. Is f at most as big as -5?
False
Let w = -0.0248 + 1.0248. Is 27 equal to w?
False
Let r = 55 + -57.4. Let x = -5.4 - r. Are x and -1/28 unequal?
True
Let y(f) = -4*f**2 - 13*f - 76. Let g be y(-5). Is -219/2 greater than or equal to g?
True
Let s(z) = 12*z - 9. Let u be s(2). Suppose -16 + u = -v. Is v bigger than 1/7?
True
Suppose -k = -781 + 576. Does k = 2?
False
Suppose 118 = 6*c + 478. Suppose 0 = -2*y + 4*u - 126, y - 5*u - 285 = 6*y. Is y at least c?
True
Suppose 3*m - 63*c = -61*c + 345, 4*c = -m + 115. Is m less than 115?
False
Let w(x) = 0 - 1 - x + 4. Let i be w(-2). Suppose i*m + 3*t + t + 1 = 0, 0 = -t + 1. Is m less than -1?
False
Let t(b) = b**3 - b - 2. Let s be t(2). Let v be 7 + (1 - (10 + -3)) - -4. Are s and v equal?
False
Let a be 34/(-6)*-3 - 3. Let d be (-164)/(-14) + 4/a. Let y = d + -11. Which is smaller: 4 or y?
y
Suppose 0*m - 4*m - 12 = 0. Suppose v = -3*n - 43, 4*v - 36 = 3*n + 2. Let w be (m/2)/(3/n). Which is smaller: w or 2?
2
Let j be 10 + (-16 - -10) + -541. Which is smaller: j or -536?
j
Let z be ((-15393)/(-90) - 2) + 3 + 2. Let d = -174 + z. Which is smaller: d or -3?
-3
Let w be (46/5)/((-4)/20). Is w > -45?
False
Suppose 17 + 13 = 6*q. Suppose -q*a + 1 = -2*f + 8, -5*f - 4*a + 100 = 0. Which is smaller: 15 or f?
15
Let d = 1.7 + 0.3. Let k = -1.8 + d. Suppose 0 = -3*j - q - 9, -2*j + 11 = -0*j - 5*q. Which is greater: k or j?
k
Let l be (-2)/14*-54*7. Suppose 0 = -4*q - 2 - 2, 4*q + l = -5*x. Is x at least -10?
True
Let p be (-1)/(-4) + 90/24. Suppose f - p = -2. Suppose -3*s - f*s = -25. Is 5 != s?
False
Let m = 467/3 - 21449/138. Let p = -6/23 - m. Which is smaller: p or 35?
p
Let h(k) = 2*k - 14. Let w be h(5). Let j(i) = 2*i + 1. Let a be j(-2). Let t(n) = -n**2 - n + 1. Let p be t(a). Which is greater: p or w?
w
Let p be 3/6*(-6)/402*-22. Are p and -1 nonequal?
True
Let d = -29 - -29.06. Let f = d + 1.74. Let b = f + -0.8. Is b >= 2?
False
Suppose -t = 4*t - 15. Let g = -6 + t. Let d be 2*((-27)/12 - g). Is 1 not equal to d?
True
Let c = -13.65 + -0.35. Let b = c - -13. Let y = b + 1.1. Which is bigger: 3/5 or y?
3/5
Suppose -14*f - 70 = -28*f + 13*f. Let m be 69*((-4)/(-2))/2. Are f and m equal?
False
Let h = -0.07 - -5.07. Do h and 18 have different values?
True
Let i be (-13 - -23)/(-27 - 2). Is i > -1?
True
Let c = -177 - -188. Which is bigger: c or 0.2?
c
Let o = 4/253 + -799/2530. Which is smaller: o or 0?
o
Let q be 1292/6*(4 - 50/20). Which is bigger: 324 or q?
324
Let v be (((-24)/4)/(-18))/(-1). Is 76.2 less than v?
False
Let m be 2/7 + (-48)/364. Let k = 3.7 + -4. Let a = 0.7 - k. Which is greater: m or a?
a
Let n be (5/((-5)/11))/(3/15). Let u = -52 - n. Is -2 < u?
True
Let d be 2/(-8) + 17/8. Let j = 59/3 - 121/6. Is j at least d?
False
Let w be 1460/(-8)*4/5. Let d = 5 + -7. Let t be (d/w)/(1/2). Is 1 greater than t?
True
Suppose -983 = -15*h + 292. Let r = h - 169/2. Which is greater: r or 0.031?
r
Let y = -35.7 - -36. Is 5 equal to y?
False
Let x = -823 - -900. Which is smaller: 75 or x?
75
Let h = 34.385 + -0.385. Which is greater: -11 or h?
h
Let g = 401 + -4417/11. Which is bigger: -1/4 or g?
-1/4
Let y(r) = r**2 - 24*r + 19. Let b be y(14). Is b > -122?
True
Let g = 0.0758 + 0.0642. Is g less than or equal to 1/4?
True
Let s(g) = -g**2 + 5. Let x = 11 - 7. Let b be s(x). Let a be 10/(-30) + (320/6)/(-5). Are a and b nonequal?
False
Let h = -1 + 1. Let a be (-23 + 10512/456)*-1. Which is smaller: a or h?
a
Let u = 54.9 + -55.5. Which is smaller: -39 or u?
-39
Let u = 12 + -8. Let a be (-5 + u)/(-1) - 61. Let w be 12/a - 6/(-40). Is w greater than or equal to -1?
True
Let o(c) = -2*c + 5. Let s be o(4). Suppose 65 = -0*d - 5*d - 4*l, -30 = 5*d - 3*l. Let j = d + s. Is -12 not equal to j?
False
Let v(n) = -n**3 - 4*n**2 + 12*n - 1. Let r be v(-6). Are 2/933 and r equal?
False
Let a = 598 + -569. Which is smaller: -12 or a?
-12
Suppose 0 = 5*c - 5, 4*t + 3*c = -0*t - 1. Let y be 1/((t/12)/1). Is -12 not equal to y?
False
Let i = 0.349 - 0.009. Let n = -0.54 + i. Which is greater: n or 0.5?
0.5
Suppose 2*n - 9 = g, -n - 3*g + 2*g = -3. Let c be 0 + 3 - (-1 + 1). Let u be 0/(n/12*c). Which is bigger: u or 6/11?
6/11
Suppose 5*z - 328 = -3*z. Suppose -w + z = -0*w. Does w = 41?
True
Suppose -13 = -3*w - 5*d, d + 4 = 4*w + 25. Let g be 20/12*(w - -1). Which is greater: g or -33/7?
-33/7
Let c = -11762/102305 + 2/2923. Let m = 2/7 - c. Which is smaller: m or 1/9?
1/9
Let n = -1562 - -1136. Is -424 >= n?
True
Suppose 0 = 5*h + 15, 10 = 2*x - 3*h - 33. Let f = x - 20. Which is greater: -4 or f?
f
Suppose -m + 0 = 2. Let g = 216 + -236. Let w be ((-475)/g)/5*m. Which is bigger: w or -10?
w
Let v(j) = -j - 2. Suppose 0 = 3*l - 0*l - 12. Let y be v(l). Let r(f) = -f - 5. Let q be r(y). Which is smaller: q or 4/7?
4/7
Let s = 241 - 228. Which is bigger: 15 or s?
15
Suppose -51 = -4*x - 47. Let d be x/((15/3)/(-55)). Is d less than or equal to -12?
False
Let a be 3 - ((-100)/(-6))/(-2). Is a smaller than 10?
False
Suppose 5*j + 6 = -4*w, j - 6 = -8. Does w = 2/2125?
False
Let n = -12 + 1. Let b = -2.7 - 8.1. Let x = n - b. Is x less than 8?
True
Suppose 0 = 4*o - m - 919, 0*m + 228 = o - 2*m. Is 229 bigger than o?
False
Let o(z) = 22*z - 182. Let g be o(11). Is 117/2 equal to g?
False
Let n be 2 - (15/5 + 1). Which is smaller: n or -29/17?
n
Let r be (-203)/(-28) - (-2)/(-8). Let f = 211 + -201. Which is greater: r or f?
f
Suppose -3 = 2*t + 7, 2*q + t = -1. Suppose q*x = -27 + 7. Let a = -16 - x. Does a = -4?
False
Let t = -0.01175 + -0.04825. Let i be (-4)/(-16) - (-38)/(-88). Is t bigger than i?
True
Suppose -4*h - w = -0*w - 25, 5*h - 35 = -5*w. Let y(x) = x**2 + 12*x + 7. Let b be y(-12). Let p be ((-3)/6)/(b/(-28)). Which is smaller: h or p?
p
Let a be ((-5)/((-650)/114) + 0)/2. Let i = 1/26 - a. Is 37 greater than or equal to i?
True
Let r be (-2 + (3 - (-6)/(-4)))*-8. Let o be 104 - ((-20)/r + 0). Is o <= 109?
True
Suppose 2*x - 4*k = -10, 6*x = 2*x - 3*k + 24. Suppose 0 = -2*l - 3*l - 10. Is x bigger than l?
True
Suppose -8*a - 5 = 3. Let g be a/(3*(-5)/195). Do g and 13 have the same value?
True
Let u = -3.9 - -10.85. Let w = u + -7. Let t = w + -0.85. Which is bigger: t or -0.1?
-0.1
Suppose 0 = 4*i + 7 + 1. Let u be ((-2)/i)/(4/76). Which is bigger: 17 or u?
u
Let z(p) = 9 + 26*p**3 - 17*p**2 - 22 - 31*p - 27*p**3. Let q be z(-15). Which is smaller: q or 10/9?
10/9
Let d = -0.94 - -1. Suppose 12*j = 3*j + 27. Let v be 4/10*9 - j. Are d and v non-equal?
True
Suppose -i - 144 = -3*b, i - 37 = -b + 5*i. Let z 