. Suppose -125*z = -102*z. Which is smaller: z or k?
z
Suppose 5 = -5*s + q, -19*q + 10 = -3*s - 17*q. Let v be 2 + -3 + (-14)/(-16) + s. Let t = -2 + 1. Is v at least t?
True
Let c(l) = -10*l**2 - 226*l + 339. Let d be c(-24). Is d not equal to 1093?
True
Let m = 9097 - 7760. Which is smaller: 1329 or m?
1329
Suppose -b + 25 = -6*b, 4*i + b = 39. Suppose -43 = -2*q - i. Suppose -5*m + m - q = -4*z, -2*z + 11 = m. Is 4 at least m?
True
Suppose 192 = -26*w + 764. Let h be (-33)/9 + w/(-3) + 6. Let o be 3 - 112/10 - -2. Is h not equal to o?
True
Let o = -12/179 - -86/1253. Which is smaller: o or 0?
0
Let x = 0.091457 - 0.021457. Let l = -0.12 + 0.1. Let p = -0.32 - l. Is x <= p?
False
Let r = 204 - 402. Let z = r + 188. Let m = -1.96 - 0.04. Which is bigger: m or z?
m
Suppose 0 = 4*u - 4*d + 23 - 39, 2*u + 2*d = 4. Suppose -5*i + 2*i + 15 = 4*x, 5*x = -u*i + 21. Which is smaller: 76/11 or x?
x
Let k = 815 - 472. Let v(q) = 4165*q - 16316. Let s be v(4). Which is smaller: k or s?
k
Suppose 3*r = -r - 234612. Let y be r/290 - 4/(-12)*-6. Let q = y + 1021/5. Is q bigger than -1?
True
Let a be (-4)/82 + 7002128/(-50758). Let g be -3 + 2/2 - 137. Which is smaller: a or g?
g
Let c = -5164 - -5203. Is -6 bigger than c?
False
Let a be (1 - -1) + -11147 + 1. Let m be 2/(-12) - a/(-240). Let w = 44 + m. Which is smaller: -2 or w?
w
Let n = 0 + 3. Let u(v) = 456*v - 1820. Let y be u(4). Suppose 5*p - s - 4 = 52, -y*p - n*s = -41. Which is smaller: 9 or p?
9
Let a be (8 + -4)/(-4) + 295. Let k be a/56 + 2/(-8). Suppose 0 = -2*l + k*l + 24. Is l less than -8?
False
Let w = -108 - -111. Let o = -15 - -11.2. Let i = o - -3.85. Is i greater than or equal to w?
False
Let u(t) = -11*t**3 - 10*t**3 + 22*t**3 + 8*t**2 - 9 + 6*t. Let o be u(-7). Which is smaller: o or -14/19?
o
Let j be (-546110)/(-22)*(-14)/(-175). Let o = j + -1986. Is -1 >= o?
False
Suppose 5*l + 9 = -2*v, 5*l + 0*l = 4*v - 27. Let z be 30 - 34 - (-2 + -8 + 2). Suppose d - 24 = v*k - 0*k, -40 = 5*k - z*d. Which is greater: k or -10?
k
Let j be (-5726)/7 + (-999)/(-37). Which is smaller: -5538/7 or j?
-5538/7
Let b(r) = r**3 + 4*r**2 + 13*r + 39. Let j be b(-5). Let h be (-4)/6 - 544/j. Suppose -62*k + h = -64*k. Which is greater: -7 or k?
k
Suppose 3*s = -5*y + 5335, -2*y = 4*s - 482 - 1638. Which is smaller: y or 1068?
1068
Let t = 18444 - 16504. Which is bigger: t or -2?
t
Let z(d) = 2*d**3 + 34*d**2 - 11*d + 41. Let g be z(-6). Is g > 4?
True
Let s = -3234 - -3485. Which is greater: 252 or s?
252
Let u be -8 + ((-108)/(-3))/4 + (-581)/583. Which is bigger: u or 1?
1
Suppose 0 = 5*r + 36 - 131. Let d = 1/90811 + 9898393/544866. Which is smaller: d or r?
d
Let f(w) = -194*w**3 - w**2 - 3*w + 2. Let v be f(2). Let t be v/3650 + (-4)/(-10). Let l(n) = 9*n + 27. Let i be l(-3). Which is smaller: i or t?
t
Let p be (-784)/64*(-96)/14. Is p >= 40?
True
Let x = 123.6 + -121.6. Let y be 1/(-4) + (-57)/6. Is y at least x?
False
Let u be 81/(-3)*1 + 3. Let r be (-6)/((-69)/1*u/48). Which is smaller: r or -0.1?
r
Suppose 5*v + 2238 = -5*g - 2227, 0 = 5*g + 3*v + 4465. Does g = -897?
False
Let h = 12536 + -12536.22. Are h and -3/149 nonequal?
True
Let a be -67 - -60 - (-4880)/697. Which is smaller: -1 or a?
-1
Let t = -3 + 4. Let c = -51 + 55. Let m be (56/48 - c/6)*-2. Is m equal to t?
False
Let b be -4*(-78212)/32*-2. Let q = b - -137513/7. Let s = 92 - q. Do 0 and s have different values?
True
Let i(x) = -12*x - 28. Let u be i(-4). Let h = -72 + u. Let s = h - -57. Is 5 greater than s?
False
Let p = 2834355/263 - 10777. Which is smaller: p or -1?
-1
Let q = 6625 - 7002. Which is smaller: q or -389?
-389
Let j = -7143 - -7276. Is 127 bigger than j?
False
Let r(f) = -24*f + 2713. Let x be r(113). Does 3/2123 = x?
False
Suppose 5*a = 7*r - 4*r + 803, 0 = r - 5*a + 251. Let m = r - -175. Which is greater: m or -102?
m
Let u = 1615 - 3198. Is -1581 <= u?
False
Let f = 40.8 - -2.8. Let z = f - 2.6. Let b = z + -44. Does b = -0.2?
False
Suppose 177272 = 103*i - 203516 + 109898. Is 2629 greater than i?
False
Suppose -2*h - 2*w + 12 = 6, h - 4*w = -17. Let a = -287 + 289. Which is bigger: a or h?
a
Let d(b) = b**3 - 13*b**2 + b - 13. Let l be d(13). Let i = 2/11825 + -733168/106425. Is i greater than or equal to l?
False
Let f = 28.946 + 0.054. Let w = -0.0443 - -30.0443. Let n = w - f. Is n smaller than -8?
False
Suppose 40 = -11*w + 6*w. Let z be ((-4)/(-18))/((w/(-555))/2). Let g = z - 31. Which is greater: g or 0.07?
0.07
Suppose -5*t - 45 = -5*d, -3*d = -t - 23 - 2. Suppose d*s = -50 + 2. Let q(h) = h + 17. Let m be q(s). Is 9 bigger than m?
False
Let t be (1077307/28)/11 - 11. Which is smaller: 3487 or t?
t
Let m = 3/1003 - -1913/31093. Which is smaller: -34 or m?
-34
Let g be (3/(-11) - 0) + (-3430425)/(-8745). Is 15 at most as big as g?
True
Let w = 81 - 76. Which is smaller: -4.31 or w?
-4.31
Let h(p) = 53*p**3 + 4*p + 9. Let d(x) = x**3 - x + 1. Let j(m) = -3*d(m) + h(m). Let b be j(-1). Are b and -101/2 non-equal?
True
Let v be 12/4 + (0 - -3). Suppose 2*f + v - 8 = 0. Let p = 4/963 + -6845/25038. Which is smaller: f or p?
p
Suppose -167 = -18*o - 23. Which is bigger: o or 9?
9
Suppose 0 = 5*f + i + 32 + 63, -35 = f - 3*i. Suppose -202*r + 70*r - 480 = -72*r. Is f < r?
True
Suppose -y + 1272 - 1400 = y. Let g(s) = s**3 + 8*s**2 + 7*s - 9. Let c be g(-8). Which is bigger: y or c?
y
Let b(x) = -31 + x - x**2 + 12*x**2 - 10*x**2 - 7*x**2 + 8*x. Let i be b(7). Are -263 and i non-equal?
True
Let a be (11250/120)/(6/40). Let j = 626 - a. Is j smaller than -1/333?
False
Suppose 0 = -4*v + 5*v + 104. Let o = -97 - v. Suppose -12*h = -o*h - 3*p + 10, 4*h - 9 = -p. Which is smaller: h or -3/32?
-3/32
Let j = -518561 - -518468. Let g = -155 - -58. Which is smaller: j or g?
g
Suppose 26 + 6 = r. Suppose -146 = 5*w - k, 3*k - r = 3*w - 2*w. Suppose 25*b + 302 + 473 = 0. Is w at most b?
False
Let u = -3953767/140 - -28241. Is u less than 1?
True
Let l be ((-1 - -1) + -1)*37. Suppose 4*p + 383 = -5*r, -3*p - 67 + 471 = -5*r. Let s = l - r. Which is bigger: 41 or s?
s
Let w = -100471/657581454 + 1/93433. Which is smaller: 0 or w?
w
Let d = -12250 + 12209.4. Is 0 less than or equal to d?
False
Let f(c) = -c**3 + 10*c**2 + 4*c - 12. Let t be f(6). Let p(q) = 9*q - 61. Let w be p(24). Which is smaller: t or w?
w
Let a be 1/(-39)*1/1. Let q be (-1)/((4/(-6))/(-2)) + -5. Let n be (-2)/q*0/24. Which is bigger: n or a?
n
Let c = -19 - -271. Let u = c - 124. Let m = u - 114. Is m less than 3?
False
Let s(o) = 3*o**2 + 4*o - 1. Let i be s(3). Let z = 647 - 644. Suppose a - 11*g = -8*g + 40, 188 = 5*a - z*g. Which is greater: i or a?
i
Let d be 43/(-129)*(1 - 1729). Does d = 576?
True
Suppose 3*t + 8 = t. Let p be (1 + (t - 1))/1. Let x be 0 + -1 + -3 - p. Is x <= 6/31?
True
Let a = 45 - 40. Let p = 400 - 398. Which is bigger: a or p?
a
Let i = 203 - 184. Suppose 14 = -4*g - 3*t - 2, i = g - 5*t. Is -16/5 smaller than g?
True
Let f = -93745578231140/1047 + 89537337264. Let q = -13261 + f. Is q <= 0?
False
Suppose 19 = 10*o + 9*o. Let l be -3 + (o - -2) + 49/(-6). Is l >= -7?
False
Suppose -146 - 16 = 46*p - 48*p. Which is smaller: 60 or p?
60
Let n = 4.42508 + -795.37568. Let k = -791 - n. Is k greater than or equal to 0.1?
False
Let n = 13.2901 - 1.2431. Let u = n + 0.053. Let h = -12 + u. Which is smaller: -4/17 or h?
-4/17
Let v = 19/4 + -4. Is 1921 < v?
False
Let v be (-1)/(-4) - (-5)/(-180). Let t = -151213 - -151310. Which is smaller: v or t?
v
Let k be 4095/42 - (-6)/3. Let f = 15725/158 - k. Are f and 1 equal?
False
Let d = -1.51 + -3.77. Let x = 6 + d. Let t = -1.28 - x. Is t > 0.1?
False
Let t(r) = 3*r**2 - 3*r - 37. Let m be t(4). Do -149/61 and m have the same value?
False
Suppose t + 4*f - 10 = 0, 0 = -3*t + 6*t + 3*f - 12. Let m(z) = -36*z + 6. Let i be m(t). Let j be (i/(-182) - 0) + (-6)/21. Is j equal to 1?
False
Suppose -25*b = -24*b + 7746. Let x = 54028/7 + b. Is -27 < x?
False
Suppose 5*b = -o + 47, -2*b = -0*b + 4. Let t = o - 20. Which is greater: 36 or t?
t
Let k be ((-1)/(-2))/(6/177). Suppose -5*p + 790 = -2*w, -2*w + 2*p - 747 = 55. Let m = w - -421. Is k bigger than m?
False
Let i = -2 + -3. Let r be -8 - -5 - 16/(-24)*(-27)/6. Is i != r?
True
Suppose 15*o - 110 + 20 = 0. Suppose 4*x + 571 = -5