146/11 + -1137/55. Is t smaller than p?
False
Let m = 19227.38 + -19227. Which is smaller: m or 67?
m
Let a = -218 + 236.8. Let j = 26.77 - a. Let s = j - -0.03. Which is smaller: s or -0.1?
-0.1
Let p = -45661/45552992 - -1/29408. Do 0 and p have the same value?
False
Let r be 96/128*(-1)/(-147). Is 1 not equal to r?
True
Suppose -g = 20*o - 15*o - 851, 3*o - 6 = 0. Is g less than 842?
True
Let w(g) = 2*g**2 + 2*g - 2. Let q be w(-2). Let p be 51 - 3/6*q. Let z = -99.26 - -99.36. Is p at most z?
False
Let i be 8/14 - (-4390)/35. Suppose -30*w - i = -16*w. Let g be ((-1092)/135)/(-13) - (-2)/w. Which is greater: g or 19?
19
Let j be 9 + (8 + -9)/((-3)/(-12)). Suppose -3*u - 5*t = 185, -j*u + 5*t = -7*u - 115. Is -73 greater than or equal to u?
False
Suppose 4*c + 13109 = 5*m - 1626, 0 = 5*m - 2*c - 14725. Which is greater: m or 2945?
2945
Let x = -0.407 + 4.407. Is 510 greater than x?
True
Let a be (-30)/(-9450)*-935 + 1/(-7). Let f be (-2 + 3)/(1/3). Let n = -5 + f. Which is smaller: a or n?
a
Suppose 1193*s - 47504 = 1201*s. Is -5939 greater than or equal to s?
False
Suppose 2*l = -2*z + 220, -5*l - 25*z + 30*z = -530. Which is smaller: 107 or l?
107
Let t be ((-1)/29)/((-2)/6). Let s = -102582 - -102582. Is t greater than s?
True
Suppose 10 - 34 = -55*x + 31. Are 2/111 and x equal?
False
Let n be ((-15)/(-9)*-2)/((-4)/12). Let i be 3/12 - n/8. Is i greater than or equal to 29?
False
Suppose -4*r + 14 = 6. Let j be (-4 - 606/(-66)) + r/(-11). Do j and 0.4 have the same value?
False
Let r = -15 + 15.011. Let a = 0.184 - r. Let c = -0.023 + a. Which is smaller: c or -0.1?
-0.1
Suppose 0*q = -2*q - 3*j + 5, 0 = -4*j + 4. Let t = 187 + -87. Let d = t - 99.8. Which is smaller: q or d?
d
Suppose 2*h - 4*m - 38 = 0, 12*m - 7*m + 54 = 3*h. Suppose 3*k + 85 = h. Let o = -7 + -18. Which is smaller: o or k?
o
Let s = 15 + -16. Suppose -90*w = -89*w - 12. Let q be (7 - w) + (-67)/1. Is s <= q?
False
Suppose 18 = 5*z + 2*l, -7*l - 1 = -6*l. Suppose 0 = -z*o - d - 4, -2*o + 2 - 22 = 5*d. Suppose o = -4*m + f - 6*f + 16, -5*f - 2 = 2*m. Is m bigger than 9?
False
Suppose -7*j = 92 - 1681. Let y = j + -299. Which is bigger: -1 or y?
-1
Let k = -10873/151 - -72. Which is smaller: -8 or k?
-8
Let n(v) be the third derivative of -v**4/8 + 7*v**3/3 - 12*v**2 + 5*v. Let g be n(5). Which is greater: g or 1/12?
1/12
Suppose 48 = 4*k - 0*k. Suppose 8 = 5*r - 4*f, -2*r - 1 + k = f. Suppose r*y = -y. Which is smaller: y or 5.3?
y
Let c = 4.16 - 2.16. Suppose 12*b + 757 = 3901. Which is bigger: c or b?
b
Let y = -711 + 216. Suppose -4*d + 2*a - 1351 - 623 = 0, 2*a - 3462 = 7*d. Is d less than or equal to y?
True
Let z = 18 - -44. Let m = z - 25. Suppose 4*j - 141 = -2*s + 1, -2*j - 2*s + 70 = 0. Is m <= j?
False
Let t be ((-18)/(-4))/9 + 13350/12. Let l = 15/3767 + -12762641/11301. Let r = t + l. Is -15 > r?
True
Let o be (-242)/(-49) - (-5 + -3 - -13). Let a = o - -20/441. Which is smaller: 1 or a?
a
Let c(l) = l**3 + 3*l**2 - 24*l - 19. Let i be c(-5). Let p(x) = 51*x**3 - x**2 + 1. Let j be p(1). Is j bigger than i?
False
Let f(v) = -48*v - 147. Let c be f(-3). Let i be (21/(-2))/c*5/35. Which is bigger: 187 or i?
187
Let q = 454 + -318. Let g be 106/159*(-1 + q/142). Which is bigger: g or -1?
g
Let a = 1.3 - 0.98. Let s = a - 0.22. Are 15 and s non-equal?
True
Let i = -0.18815 - -1593.18815. Which is greater: -1/2 or i?
i
Let k = 33.03 + 0.77. Let v = k - 15.8. Which is smaller: v or -1?
-1
Let r = -18515 - -166427/9. Suppose -5*w - 102 = 4*i, -4*i - 48 = -2*i + w. Which is smaller: r or i?
r
Suppose 4*m + 99*j + 4 = 97*j, 0 = 2*j. Which is bigger: m or -3/1981?
-3/1981
Let u(t) = -9*t + 4. Let w be u(0). Suppose -w*s + 3*s = -5. Let x be (-22)/(-7) - s/35. Does -1 = x?
False
Let g = 443/24 - 635417/34440. Which is greater: 1 or g?
1
Let n(q) = -q**2 + q - 555. Let j be n(0). Let v be 6/(-15) - 252/j. Let c(i) = -110*i - 771. Let k be c(-7). Do v and k have the same value?
False
Suppose 0 = 5*z + 10, -5*z + z - 90 = 2*b. Let s = -43 - b. Let q = -15 - -19. Which is greater: q or s?
q
Let q = -575 + 577. Suppose f - 12 = q*w, -36*w = 2*f - 34*w + 6. Which is bigger: 30/43 or f?
f
Suppose -745 + 10651 = -20*i - 6574. Is -825 <= i?
True
Let x = 40244/25 - 1610. Which is greater: x or 0.09?
0.09
Let q = -361 + 360. Let h be (1/(-5))/(q/(-2)). Is h < 22?
True
Let w = 1 + -5. Let b = 0.0118 - -5.0122. Let n = 0.024 - b. Is w <= n?
False
Let i(q) = 11*q**3 - 2*q**2 - 2*q + 4. Let m be i(1). Let f(n) = n**2 - 15*n + 42. Let r be f(m). Which is bigger: r or 2?
2
Let n = -3360 - -3599. Is n at most as big as 238?
False
Suppose 2*w - 143 = 15*w. Let b be 2/w + 70959/231. Which is smaller: 308 or b?
b
Suppose 19*n + 6*n = -2*n + 13*n. Which is smaller: n or -3/1826?
-3/1826
Let m be 2*-3*(-3)/(-18). Let x(a) = a**2 - 2*a - 2. Let s be x(m). Suppose -h - 5*d + 45 = 4*h, 3*h - 7 = d. Which is smaller: h or s?
s
Let d be 2/(-4) + (-6)/(-28). Let q = -32.1 + 31.11. Let j = 0.9 + q. Is j greater than d?
True
Let q = -73.42 - -73.32. Do 0.17755 and q have the same value?
False
Suppose 0 = -5*u + r - 5, 0 = -u + 8*r - 7*r - 1. Let y(q) = 2*q**2 + 10*q - 9. Let w(t) = -t + 1. Let v(l) = -4*w(l) - y(l). Let o be v(-5). Is o <= u?
True
Suppose -2*w + 0*w = -68. Let q(n) = -5*n - 10. Let t be q(5). Let a = t + w. Is a bigger than 3/26?
False
Let a = 179 + -179. Which is smaller: a or 1/3944?
a
Suppose -3*h - 21 = -5*k - 43, 0 = h + 5*k + 6. Is h smaller than 708?
True
Suppose -11378 = 5*t + 4*w, -60*t - 2*w + 11336 = -65*t. Are t and -2268 unequal?
True
Suppose 0 = 80*p + 87 - 7. Let u be 0 + -2 + (-530)/(-270). Is u at most as big as p?
False
Suppose 0 = 5*b + 2*u + 30, -9*b - 24 = -8*b + 4*u. Let v be (-2)/6 - ((-255)/(-72) + b). Is -1 at most v?
True
Suppose -58 - 40 = n. Suppose -w - 5*c = 143, -7*c = -2*w - 10*c - 223. Is n not equal to w?
False
Suppose -4*c + 1489 = 5*m, -2*m + c - 3*c + 594 = 0. Which is smaller: 298 or m?
298
Suppose -8*d - 4*t - 2022 = -10*d, -2022 = -2*d + 3*t. Let l = d - 37410/37. Which is smaller: l or 3?
l
Let m = 186 + 66. Let b be 11/(-682)*2 + 256806/1023. Is b less than or equal to m?
True
Let w = 3065 + -6155. Is w greater than or equal to -3091?
True
Suppose -10 = -3*p + 11. Let j(i) = -i**2 + 2*i + 8. Let w be j(4). Suppose 5*g - 12 + p = w. Which is smaller: -3/38 or g?
-3/38
Let j be 29/(696/(-2184))*(-1 + 3/1). Do -53 and j have the same value?
False
Let a be -7 + ((-1)/(-7) - (-121748)/(-28)) + -3. Is a less than -4358?
False
Let c = -9305 - -132673/14. Which is smaller: c or 171?
171
Let o(c) = 540*c - 18376. Let x be o(34). Is x greater than or equal to 338?
False
Let f be (6 - (-336)/(-18))/((-12)/(-234)). Let a = -332 - f. Which is smaller: -87 or a?
-87
Let s = -2437 + 3079. Which is bigger: 645 or s?
645
Let t(w) = 7*w - 65. Let x be t(12). Let h = 28 + x. Let d(i) = 3*i**3 - 4*i**2 + 2. Let u be d(3). Is u not equal to h?
False
Let m(d) = -3*d + 37. Let h be m(10). Let a(c) = c**3 + 14*c**2 + c. Let v be a(-14). Let w = v - -21. Is w <= h?
True
Let a = -2894 - -28941/10. Is a at most as big as 0?
False
Suppose -4 = 1714*c - 1718*c. Which is bigger: c or -2/693?
c
Suppose 7*z = -2*z. Suppose -5*q - 10 = -5*m, z*m - 4*q = 4*m + 16. Let k be 54/12*m/2*-1. Is k bigger than -2?
True
Suppose 4212*k + 814 = 4190*k. Is -76 at least k?
False
Let p = -70.3 + 70.4. Is -608 bigger than p?
False
Suppose 3*s + 2*g = -19 + 20, 0 = -5*s - g - 3. Suppose -2*r + 3*v - 3 = 0, 0 = -4*r + v + 3 + 6. Let x be 5/10 + r/(-16). Which is smaller: x or s?
s
Let i = -6942 - -27765/4. Which is bigger: 412/5 or i?
412/5
Let d be (-84)/10 + (-8)/(-20). Let h be d/(-36) - 580/18. Is h at most -34?
False
Let p(g) = 2*g**2 + 5*g - 3. Let c be p(5). Suppose -6*d = -3*d + c. Let l = 55 + d. Is l > 31?
False
Let i = 222761/9 - 24751. Which is smaller: -8716 or i?
-8716
Let n = -2/325 - -57/19825. Suppose -3*m + 2665*k - 2664*k = 1, -5*m = 4*k + 13. Which is greater: n or m?
n
Let o = 78.8 - 70. Let i = 6.8 - o. Which is smaller: -1 or i?
i
Let f be (-30)/(-56) - ((-952)/98 - -10). Is f smaller than 1/50?
False
Let b(w) = -259*w - 26. Let n be b(-2). Is -1/2 greater than n?
False
Let j = -51 + 49. Let i be 57 + -3*(-2 - -1) + j. Suppose -5*r + 2*z + 295 = 7*z, -4*z = 2*r 