r 10?
l
Let h = -323 - -688. Suppose -h*f = -359*f - 12. Is -14.7 less than f?
True
Let x be (120/400)/(1/2) - 26021/35. Do x and -742 have the same value?
False
Suppose -5*d + 40 = -0*d + 5*w, 0 = 3*d + w - 16. Suppose -18 = -d*i - 90. Let c be 20/i + -2 + 3. Is c less than or equal to -5?
False
Let u = -47 + 146. Suppose 0 = g - q + u, 0 = -2*g - 2*q - 70 - 120. Let v = g - -100. Which is bigger: v or 22/5?
22/5
Let z = -347 - -329. Let g(v) = 15*v - 2. Let j = -4 - -3. Let s be g(j). Which is greater: s or z?
s
Let b be ((-96)/10)/(20/(-50)). Suppose 0 = 4*w - 4*l - 80, 5*w - 53 = -2*l + 82. Let h = w - b. Which is smaller: h or 1/39?
1/39
Let x = 167 - 166.93. Let t = -0.27 + x. Which is bigger: 1.5 or t?
1.5
Let a = -439 - -440. Let c be (67/(-20770))/(6/10). Which is smaller: a or c?
c
Let i = 1055.93 + -1056.23. Let p be (-1)/2 + (-221)/(-450). Which is bigger: p or i?
p
Let g(x) = -x + 22. Let l be g(12). Let f be l*(-5)/((-125)/20). Let c(i) = -4*i**2 + 27*i + 4. Let d be c(f). Is d at most -38?
False
Suppose -112*h - 135*h = 1069510. Is -4328 < h?
False
Suppose 0*k - 1219 = -4*d + 5*k, k - 316 = -d. Suppose -1089 = -35*l + d. Is 44 not equal to l?
True
Let l = -2531 - -4465. Which is smaller: l or 1935?
l
Suppose 0 = 11*m - 16 - 28. Suppose -6*j + m*j + 3*j = 0. Is j > 2/941?
False
Let q(y) = y**2 - 33*y - 27. Let j be q(34). Suppose -3*m = -j*m + 4. Which is smaller: 1/190 or m?
1/190
Let g be 25/(14 - 969/68). Which is smaller: g or -103?
-103
Suppose -34 = -2*s + 4*t, 122*t = -6*s + 117*t + 255. Let n = 44 - 11. Is s <= n?
False
Suppose 9*t + 26 = 11*t. Let s = t - 13. Suppose s = -3*r + 38 - 134. Is r greater than or equal to -33?
True
Let u be (-2)/6*9/15. Suppose 78 = -60*l + 63*l. Let j = 26 - l. Do u and j have the same value?
False
Suppose -2*h = -4*y - 2, 0 = -2*h - 4*y + 3 + 7. Suppose 2*r - r = -2. Let t = r - h. Which is smaller: t or -32/9?
t
Let j = 41 + 36. Let t be (100/6)/(((-6)/(-8))/((-4950)/(-1375))). Which is smaller: j or t?
j
Suppose -4*r = -1 + 5. Let k(i) = -5*i + 3. Let h be k(r). Let d = 2 + h. Which is bigger: -2/9 or d?
d
Let a = 1694 + -1395. Do a and 303 have different values?
True
Let x(m) = -2*m**2 + 25*m - 3. Let g(j) = -j - 4. Let w(o) = 5*g(o) + x(o). Let f be w(10). Is -21 at most as big as f?
False
Suppose 5*g - 6 = -4*p + 1, 4*p = -3*g + 1. Let h be ((-6)/(-18))/(2/p). Let c = 0.624 - 14.624. Which is greater: c or h?
h
Let v = -30152 - -30151. Which is smaller: -6/23737 or v?
v
Let n be -3 - (-4 - -3 - -2 - 9). Suppose -5 = 5*x, -n*v - 4*x + 8 = 2. Which is smaller: v or 3/23?
3/23
Let f be (3/(-290))/((-51)/(-1122)). Is f < 0?
True
Suppose 20828 - 903519 = 137*m. Is -6442 < m?
False
Let m = -10469014.057 - -10458782. Let v = m - -10215. Let p = -0.057 - v. Which is smaller: p or 0.1?
0.1
Let r be (-3024)/(-22 + 58) + (1 - -4). Which is bigger: r or -1352/17?
r
Let g(c) = -c**3 + 29*c**2 - 19*c. Let a be g(28). Suppose 308*i - 305*i - a = 0. Which is smaller: 86 or i?
i
Let v be ((-17)/102)/(15/30)*30. Suppose 4*c - c = -27. Which is greater: c or v?
c
Let i = -881 + 1990. Let t = i + -10009/9. Let y = t - -122/45. Which is smaller: y or 0?
y
Let j = 18.6 + -6.6. Let x = -76 - -83.7. Let y = x - 10.7. Which is greater: j or y?
j
Let v = 570.93 - 576. Let w = v + 4.07. Is w less than -86/13?
False
Let h = 57.44 + -52.44. Let o(i) = -2*i + 38. Let p be o(9). Is p bigger than h?
True
Suppose -3*v - d - 276 = 0, -5*d + 4*d - 184 = 2*v. Let a = v + 310. Is 218 less than a?
False
Let q = -76 + 75.876. Let d = -86 + 86.194. Let y = d + q. Are y and 9 nonequal?
True
Let f = 129 + -72. Let c = -111.9 + f. Let n = 55 + c. Is n equal to 1/3?
False
Let g = -1910 - -3023. Suppose 1118*j - g*j + 285 = 0. Let b(i) = -4*i**2 - 3*i - 6. Let w be b(-4). Which is smaller: j or w?
w
Let t = 12.36 + 16.64. Is -1/244 not equal to t?
True
Suppose 7*f = -8 + 15. Let y be 312/154 + (f - (4 - 1)). Do 0 and y have the same value?
False
Let n = 976 - 423. Let c = -554 + n. Is -0.16 < c?
False
Suppose 3*w + 91 = 10. Let d(f) = 9*f + 54. Let x = -69 - -60. Let c be d(x). Is c smaller than w?
False
Let w be (3/18)/((-32)/2784). Which is bigger: -15 or w?
w
Let b be (19/779)/((-1)/(-3)). Let c(l) be the second derivative of l**5/20 + 3*l**4/4 - l**3/6 - 4*l**2 - 14*l. Let a be c(-9). Is b less than a?
True
Let k = -868871/5668908 - -2/45717. Which is smaller: k or 0?
k
Let o(u) = -4*u - 3. Let q be o(6). Let d = 46006 + -46031. Which is smaller: q or d?
q
Let f = -32663981/195 - -167508. Is 1 equal to f?
False
Let v(o) = -159*o + 1. Let j be v(1). Let c = -2371/15 - j. Let i = -1460 - -1461. Is i at least as big as c?
True
Suppose 5*d + 23 = 4*u, 0 = 5*u - d + 5*d + 2. Suppose -2*b + 3*c = -b - 46, -u*b = -2*c - 76. Let y = b - 34. Is 3/25 less than y?
False
Let j(b) = b**3 - 7*b + 13. Let s(a) = a**3 - a**2 - 8*a + 12. Let i(y) = 5*j(y) - 4*s(y). Let u be i(-5). Is -0.1 bigger than u?
False
Let m = 2111 - -587. Let p be (-2)/(-60)*m - (-2)/3. Let c = p + -91. Is 6 bigger than c?
True
Let i be (36/30)/(0 + (-3)/(-10)). Suppose -21 = 2*n + 6*w - w, 2 = -i*n - 2*w. Is n greater than -7?
True
Suppose -82*u = -13 - 2857. Which is bigger: 177/5 or u?
177/5
Let q = 3771 - 3775. Which is greater: q or 197?
197
Let d be (-2)/9 + (-5 - 5908/63). Let l = 21 + d. Suppose -15 = 5*r, 304 + 15 = -4*o - r. Which is greater: o or l?
l
Suppose 4*p = -2*n + 320, 1300*n - 1302*n - 3*p + 322 = 0. Is n at most as big as -6?
False
Let s = -4472 + 4476. Which is greater: 30 or s?
30
Let p = -4 - -6. Let j = 895 + -1628. Let u = j - -737. Is u at least p?
True
Suppose -3*d + 13*u = 27*u + 94, 2*d - u = -42. Which is greater: d or -69?
d
Suppose 3*i - 37 = 2174*x - 2179*x, 26 = 4*x + 3*i. Let a be 234/(-14)*4/(-6). Is a greater than or equal to x?
True
Let u(h) be the second derivative of -7/6*h**3 - 12*h + 1/2*h**2 - 5/12*h**4 + 1/20*h**5 + 0. Let f be u(6). Is f at least 3?
False
Let v = -7.63 - -2.63. Let q = 319/5 + -64. Which is smaller: q or v?
v
Suppose 5*w = -5*s + 21 + 29, -21 = -2*w - 3*s. Suppose 0 = z - 3*g - 5, 0 = 4*g + w + 7. Suppose 189*h = -182*h - 2226. Which is smaller: z or h?
z
Suppose 13508 = -27*o - 11773 + 8406. Is -3128/5 equal to o?
False
Let c be -1 + (18/3)/2. Let w(u) = 22*u - 10. Let z be w(c). Suppose 2*o = -z - 18. Do o and 2 have the same value?
False
Suppose 2613*x + 24 = 2610*x. Let b be ((-16)/6)/((-2)/(-9)). Is b less than x?
True
Let h = -163 + 163.8. Let t = 1 - h. Is t not equal to 16?
True
Let d be (-4)/(-10) - 114/10. Let q(k) = -5*k + 588. Let u be q(-39). Suppose 10*p - u = -853. Are p and d non-equal?
True
Let x = -47 - -41. Let v = x + 24. Is v != 21?
True
Let z = 5165 + -6414. Do -3743/3 and z have the same value?
False
Let d = 26413/4 - 6603. Which is smaller: -2662 or d?
-2662
Let u = 0.533 - 0.54. Let t = u + -15.993. Let i = t + 9. Which is smaller: 1/3 or i?
i
Let o = 0.0488 + 0.2122. Which is smaller: -7 or o?
-7
Suppose -8*f + 4*f + f - 393 = 0. Which is smaller: -138 or f?
-138
Let s = 1085 + -1817. Is s bigger than -730?
False
Let b = 647 - -252. Suppose -x = -104 - b. Let z = x - 4993/5. Is z >= 5?
False
Let p(z) = z**3 + 56*z**2 - 85*z + 452. Let f be p(-58). Which is bigger: -1345 or f?
-1345
Let f = 233.71 - 229. Let b = -8.71 + f. Is -68 smaller than b?
True
Suppose 5*u = 3*o - 539, -o - 4*o = 3*u - 955. Let d = -180 + o. Is d >= -0.02?
True
Let c be 1 + 0 - (-1572)/(-3404). Let v = -24927/44183 + -2/1921. Let j = c + v. Which is smaller: j or 0?
j
Suppose -m = m - 2*c + 260, 2*m - 5*c + 257 = 0. Let h = 96 + m. Let t be h/25*(-2)/(-7). Is 20/3 bigger than t?
True
Let s = -541 - -406. Let x be (-2 + s/(-65))*31. Which is smaller: 2 or x?
2
Suppose 9 = 3*l - 81. Suppose 2*i = 4*z - 150, z + i - l = -0*i. Suppose -5*n = -w - z + 8, n + 5 = -5*w. Is n smaller than -2?
False
Suppose 19*s - 7776 = 5258. Which is smaller: s or 683?
683
Let x be -3 + -1 + (-48)/(-14). Suppose -g + 2*a = -16, 5*a - 10*a = -4*g + 52. Suppose -g = -2*n, -22*b + n - 5 = -21*b. Is x not equal to b?
True
Let f be (1/3*33)/1. Let q(i) be the first derivative of -i**2 - 4*i + 15. Let k be q(-5). Which is smaller: k or f?
k
Let h = -64.37 + -1.63. Let z = 66.47 + h. Let d = -0.33 + z. Which is smaller: 2 or d?
d
Let 