!= z?
True
Let h be -1*(-9 - (-1192 - 7)). Which is smaller: h or -1193?
-1193
Let w = -6864 - -6864.1. Which is smaller: -177/17 or w?
-177/17
Let t = -2 - 1/4. Let h = -422 + 420. Is t <= h?
True
Let i = 939 - 939.2. Is i smaller than 179?
True
Suppose -454*l + 272*l = 116662. Which is smaller: -640 or l?
l
Let s = -1118 + 162132/145. Which is greater: 1 or s?
1
Let x be -1 - 2 - (-30)/5. Let f be x/1*24/72. Which is smaller: -2/79 or f?
-2/79
Let u = 2995/9396 + -28/87. Let i = 18037 + -18037. Is i greater than u?
True
Let h(x) = -x**2 - x + 12. Let r be h(3). Let f be (18/72 - (-67)/(-284))/3. Which is bigger: f or r?
f
Let y = 12.658 - 12.7. Let x = -0.147 - y. Let b = 0.495 - x. Are b and -4 unequal?
True
Suppose -12*c + 6*c = -624. Let k = -98 + c. Are k and 70/11 nonequal?
True
Suppose 3*l + 444 - 24 = 5*j, -2*l + 233 = 3*j. Let q = j + -157. Which is smaller: -75 or q?
q
Let c be 660090/(-400) - 20/(-32). Which is greater: c or -1650?
c
Let a be 3/4 + (-4575)/20. Let z = a - -284. Which is bigger: z or 109/2?
z
Let s(x) = x**3 + 6*x**2 - 4*x + 3. Let p be s(-7). Let f be ((-6)/8)/((-21)/(-504)). Does f = p?
True
Let a = -10503/1330 + 111/14. Let p = a - -7/19. Let w = 2/9 + -17/9. Do p and w have different values?
True
Let r be ((-1)/5)/(8 - (-78)/(-10)). Which is bigger: r or -108/59?
r
Let s = 276 + -140. Let u = -2695 + 2698. Suppose 5*t + u*d = 330, 2*d = -2*t - 0*d + s. Is t at most 63?
True
Suppose -3*u = u - 4, 0 = 5*y + u - 46. Suppose 11*l - 5*g = y*l - 70, 0 = -l + g - 29. Is -25 greater than l?
False
Let p(z) = z**3 - 10*z**2 - 9*z + 197. Let t be p(6). Is 32/2065 > t?
True
Let v be (108/(-2592))/((-20)/426). Is v greater than 2?
False
Let r = -15489 + 15489.046. Is -0.4 at most as big as r?
True
Let g = -344635/116 - -2971. Which is greater: 4 or g?
4
Let m = 3731 + -3687.83. Let h = 43 - m. Let y = 77 + -233/3. Which is smaller: y or h?
y
Let j = -9.34 + 82.34. Is 1 at most as big as j?
True
Let z = -175872807976/1558895481 + -2/3868227. Let l = -1470/13 - z. Which is smaller: 0 or l?
l
Let z = -446 - -119081/267. Suppose 3*i - 4*u - 11 = 6, i + u = -6. Is i < z?
True
Let h = 10 + -9. Suppose o + 279 + 2 = -2*v, 0 = 4*o - 2*v + 1164. Let c = 2309/8 + o. Which is bigger: h or c?
h
Let v = 0 + -0.2. Let t = -260.221 + 260. Let f = t + -11.779. Which is bigger: f or v?
v
Let v be -4*31/(169012/(-799)). Let x be (1*-1)/((-2)/4). Is x at most v?
False
Let i be ((-5)/((-5)/(-4)))/((-4)/148). Suppose i*x = 150*x - 96. Is x at least as big as 47?
True
Let u = -671 + 1707. Let s be (-6208)/u - (-6)/1. Which is bigger: s or -2/3?
s
Suppose -138 = 447*d - 401*d. Is -9/4 != d?
True
Suppose 2*k - 31*x = -30*x - 9, 3*x = 3*k + 24. Which is smaller: k or -43/69?
k
Let d = 3.538 + -1490.538. Which is bigger: d or 1/4?
1/4
Let b be 22006/(-136) - 1 - (-22)/(-88). Let t = b + 163. Is 1 at most as big as t?
False
Suppose -9*m - 135114 - 155346 = -291*m. Is 1030 != m?
False
Suppose 661 = -30*h + 691. Which is greater: h or -3/418?
h
Let s(g) = -g**2 - g + 15. Let r be s(3). Suppose 0 = -3*m + m + 2, -2*h + 27 = -r*m. Suppose -2*k = -9 + h. Is k greater than or equal to -3?
True
Let s be (5/(-10) - -1)*0 - -429. Let y = 821 - s. Is 391 >= y?
False
Let q = -42025 - -42021. Suppose 0 = -5*y + 3*x - 5*x + 17, y + 3*x = -7. Is q greater than y?
False
Let u(t) = t**3 + 6*t**2 - 9*t - 48. Let z be u(-6). Suppose -p = 2 - z, -5*p = -4*n + 36. Is 17 less than or equal to n?
False
Let l = 23.1 + -18.16. Let b = l + -6.19. Is b at most -1/5?
True
Let c(o) = -35*o + 15. Let k be c(-2). Let n(s) = 4*s + 31. Let f be n(13). Which is bigger: f or k?
k
Suppose 4*s - 39 = 3*i - 0*i, 4*i - 4*s = -48. Let c be (-4)/14 + i/(-7). Let v = -926448 + 225126862/243. Are c and v equal?
False
Let w be ((-54)/(-3717)*-7)/(((-12)/(-27))/(-1)). Which is smaller: -1 or w?
-1
Suppose -4*r - 554 = -r + 2*v, -2*v = 5*r + 918. Let w = -179 - r. Which is smaller: w or 5?
w
Let l = 0.596 - 0.796. Let f = -4173/4 + 1049. Let q = -67/12 + f. Is l > q?
False
Let r be 4 + 0/(-2) - (-558 - -10). Let s = -550 + r. Which is smaller: 26/43 or s?
26/43
Let z = -16999829/16 - -1061977. Suppose 3*w + 8 = 7*w, 4*r - w = -2050. Let f = z - r. Which is smaller: 1 or f?
f
Let o = -6703 - -6702. Is o less than 38/125?
True
Let c be 21/(-19) - -1 - (-1139)/(-1273). Which is smaller: c or -4/3?
-4/3
Let w = -29.524 - -29.324. Which is smaller: 49/60 or w?
w
Let p be 5/(105/306) + -1. Suppose 32575*z - 65 = 32570*z. Which is smaller: z or p?
z
Suppose h = -5*p + 19, -1 + 2 = -p - 5*h. Suppose 0 = -a + 5*s + 7 - 32, -p*a + s = 5. Let b be (-2)/(-6)*(a + 3). Which is greater: 2/63 or b?
b
Let u = -2.158 - 57.842. Which is smaller: -1/26 or u?
u
Suppose 7*s - 968 = -4*s. Let m = -82 + s. Let x be (-14)/(15/m*(-12)/45). Is x at least as big as 24?
False
Suppose -60*o + 77*o - 85 = 0. Suppose 5*x - u + 21 = -1, x + 8 = -u. Let j = x - -9. Are o and j nonequal?
True
Let f = 467982 - 467797. Let m = 8 - -178. Is m smaller than f?
False
Let k be (-8311)/(-10755) - (-3 + 6). Let x = 6/1195 + k. Let o = -13 - -10. Is o at most x?
True
Let n(v) = v**3 - 11*v**2 + 3*v - 21. Let g be n(11). Suppose 0 = 2*t - 32 + g. Suppose t*o = 2*o + 8. Is o at least 3?
False
Let f = -211079113/3186 - -132505/2. Let p = -11/27 + f. Which is greater: 1 or p?
1
Suppose 3*a - 2*h - 73 = -0*a, -2*h + 19 = a. Let x = -5369 + 5392. Is x at most as big as a?
True
Let h(z) = -8*z**2 - 88*z + 78. Let a be h(-12). Do 190 and a have different values?
True
Let p(f) = 2*f**2 + 49*f + 1020. Let i be p(0). Which is smaller: i or 1019?
1019
Let t(r) = 3*r - 14. Let n be t(5). Let a be ((-41)/(-4) - -4)/(n/(-4)). Let h = a + 287/5. Which is smaller: 1/15 or h?
1/15
Let x(n) = -2*n**3 - 3*n**2 + 1. Let y(s) = 2*s + 35. Let k be y(-18). Let q be x(k). Suppose 0 = -4*p + 4*c - 4, q*p = 3*p - 4*c. Is 4 at least as big as p?
True
Suppose -11*s + 87 = 172 - 74. Are -30/227 and s equal?
False
Let m be ((-240)/25)/(4/50). Let a be (-16)/m - 42/45. Is a <= -1?
False
Let f be (10 - (-465)/(-29)) + 2/((-4)/(-6)). Are 0.2 and f nonequal?
True
Let k = -2516/1077 + 1/359. Let s = 0.87 - -0.13. Which is smaller: s or k?
k
Let t = 249 - 155. Let u = -138 + t. Suppose -m = -6*m. Does u = m?
False
Suppose 5 = 5*a, 4*q = 5*a - 13 + 4. Let j = 7327/4 + -1841. Let y = 485/52 + j. Do q and y have different values?
True
Let t = 98.821 - -28.179. Is t not equal to 98?
True
Let y = -23854 + 20843. Is -3011 smaller than y?
False
Let z be (7 + (7 - 15))/((-31)/116). Let x = z - 19635/5239. Which is greater: 1 or x?
1
Let k = 75/17 - 3. Let q = -916/55 - -2638/165. Which is bigger: k or q?
k
Let a be (1*-34 - 1) + (5 - 10). Let s be (-8)/a + (-62)/10 + 1. Let z = -7/44 - 1153/220. Which is smaller: s or z?
z
Let k = -17.97 - -106.97. Let u = 20 - 22. Which is bigger: u or k?
k
Suppose -8*l + 11 + 5 = 0. Suppose -l*z + 2*d + 357 = d, -5*z + 889 = d. Which is smaller: 177 or z?
177
Suppose -3*j + 5*s = -j - 31, 2*j - 2*s - 16 = 0. Let f be (1032/(-10))/j + 3. Is -31 <= f?
False
Let j = 20 + -5. Let g be 3/j*6/(-7). Let v = 232/945 + g. Is v greater than 1?
False
Suppose -2*i - 159*u = -155*u + 10, -5*u - 11 = 4*i. Is -1/6479 greater than i?
False
Let j = 107 + -93.3. Let v = j - 23.37. Let b = v + -0.33. Is -3 equal to b?
False
Let c be (14 + 2 - -1) + 2. Suppose -4*f + 4 = 0, 8*f - 4*f = 3*s - 23. Let v be (-2366)/(-126) + 2/s. Is c bigger than v?
False
Let d(n) be the first derivative of -1/3*n**3 + 11*n - 10 - 9/2*n**2. Let h be d(-11). Which is smaller: -13 or h?
-13
Let p be -1 - (4 + (4 - 3)*-12). Suppose 10*o = p*o. Which is bigger: -22/35 or o?
o
Suppose 15 = 3*w, 2*v - 3*w + 65 + 16 = 0. Let p = 31 + v. Which is greater: p or -26?
p
Suppose -11*x = -19*x. Suppose 2*k + 5*q - 47 = x, 4*k + 29 = -4*q + 129. Which is smaller: k or 35?
k
Let q(j) = -13*j - 17. Let x be q(-2). Suppose 0 = 2*n - 5*p + 9 - 44, -3*p = x. Let z(i) = i**3 - 3*i**2 + 2*i + 3. Let y be z(3). Which is smaller: y or n?
y
Let y = 6796 - 4499. Is 2295 greater than y?
False
Suppose -2*f - 2 = 0, -s - f + 8 = 2*s. Let v be -3 + s/((-60)/(-44)). Let i be (28 - 24)*(-2 - 6/(-4)). Is i < v?
True
Suppose -44 = h - 5. Suppose -13*b + u = -11*b + 69, 3*u + 163 = -4*b. Is h greater than or equal t