
Suppose -583 - 16973 = 2*l + 31*l. Which is smaller: -533 or l?
-533
Let h = 2661/20 - 666/5. Let b = -2278 + 2277. Which is smaller: h or b?
b
Suppose 0 = -32*f - 9*f + 1599. Suppose 41*t - 184 = f*t. Which is smaller: t or 90?
90
Suppose -488 = -3*x + 4*n, -3*x = -5*n - 62 - 425. Suppose 15*j + x = 14. Let p be (-5)/(-2)*4*-1. Is p at most as big as j?
True
Let w be -1*(-6)/9*2/(-4). Let s = -17.63 + -0.37. Let t = 31 + s. Is w > t?
False
Let o = -4517/8 + 565. Which is smaller: -370 or o?
-370
Let p = 154 - 126. Let g = 0.75 - 0.703. Let y = 0.047 - g. Which is bigger: p or y?
p
Let z be (-5 + 1)*5277/12. Which is smaller: z or -1758?
z
Let b be ((-86)/(-2))/(-1*(-1 + 2)). Let z(w) = -31*w - 8. Let y be z(-2). Suppose 0 = -s + 9 - y. Which is bigger: s or b?
b
Let g = 230709 - 230722. Let t = -0.27 - -2.47. Let k = -2 + t. Which is smaller: g or k?
g
Let d = 58.81 - 60.81. Suppose 4 = 3*l - 2. Suppose 14 = l*b - 0*b. Which is greater: b or d?
b
Let m = -13619 + 13655. Are m and 476/13 equal?
False
Let d be (-13 - -1)*6/(-8). Suppose -v = 2*b + 2, 16 = d*v - 5*v. Is b smaller than -15/4?
False
Let k = -24 + 1. Let o(p) = 2*p**3 + 2*p**2 - 3*p + 191. Let q be o(0). Let n = q - 215. Which is smaller: n or k?
n
Let z = 16782 + -16784. Is -15.2 < z?
True
Let f be (1/(-10))/(4/84). Let q = 8/5 + f. Which is greater: -0.03 or q?
-0.03
Let q = 650.8 + -650.8. Is 7243 at least q?
True
Let f = -1698 + 1789. Let a = 228 + -137. Is a less than or equal to f?
True
Let x(y) = y**2 - 6*y + 7. Let n be x(6). Let d be (-18)/(-7 - -16)*6/(-4). Suppose 2*v + b - 1 = 6*b, 0 = 4*v + d*b - 15. Which is smaller: v or n?
v
Let a(i) = -i**2 + 4*i + 20. Let o be a(6). Let w be o/20 + (-1266)/(-20). Let y = 131/2 - w. Which is greater: 2/3 or y?
y
Let l = 3 + -1.6. Let o = l - 1.5. Let y be -4 - ((-3)/(-12))/(2/(-28)). Is o bigger than y?
True
Let g be ((-18)/(-27))/(7/(-3))*-14. Suppose 6*s + g = 4*s. Let n be (s - (-59)/12) + -9 + 6. Is 1 at least as big as n?
True
Let l = -1705 - -1790. Is l greater than 86?
False
Let c(k) = 11 - 7*k + 0 + k**2 - 31. Let a be c(6). Is a at least as big as -17?
False
Suppose 0 = 4*s + 6*v - 8*v - 170, 5*s - 5*v = 210. Which is bigger: s or -1?
s
Suppose -49*x + 7885 + 3539 = -x. Is 232 >= x?
False
Let a be (((-12)/16)/((-3)/2))/(84/851760). Which is smaller: a or 5072?
a
Let d(q) = -2*q**2 - 65*q - 40. Let z(o) = 25*o - 207. Let f be z(7). Let i be d(f). Which is greater: i or -15?
i
Let r(j) = j**3 - 37*j - 5. Suppose 30*p = -10*p - 240. Let y be r(p). Let x be (0 + 6/(-11))/2. Which is greater: x or y?
y
Suppose -287*w + 1599 = -326*w. Is -542/13 less than w?
True
Suppose 0 = -17*k - 21*k + 88 + 64. Let g = 1 - -1. Suppose g*a + 4*t + 50 = 0, 2*t + 208 = -k*a + 84. Is a at most -32?
True
Let r(j) = 61*j - 615. Let q be r(10). Which is greater: -8 or q?
q
Let t = 9 - 5. Let a be (17/(-2))/(10/t). Let l be (9/6)/(21/(-28)). Is l != a?
True
Suppose 92*l = -98*l - 82760 - 47770. Is l greater than -681?
False
Suppose 130*v + 16 = 128*v. Which is smaller: -26 or v?
-26
Let m = 3910.4 + -3867.4. Suppose -4*q = -2*q + 2. Are m and q non-equal?
True
Let w be 37125/(-44) - 11/(-4). Which is smaller: -840 or w?
w
Let r = -13898 + 69489/5. Which is bigger: -0.06887 or r?
-0.06887
Let z = -55.1144 - -0.1144. Is 1/13 greater than or equal to z?
True
Let n be ((-6 - (1 - 7/21)) + 5)*-3. Which is smaller: 1/81 or n?
1/81
Let q(p) = -p**2 + 14*p - 42. Let s be q(10). Let t be 109/((-6)/(-16)*s/3). Which is smaller: -437 or t?
-437
Let c = -763/48465 - -1/1077. Let j be (-1 + -3 + -3)/((-10)/30). Suppose -5*p = -j*p. Which is smaller: c or p?
c
Let k(u) = -8*u**2 + 6*u - 33. Let p(b) = 7*b**2 - 6*b + 31. Let m(q) = -6*k(q) - 7*p(q). Let x be m(6). Is -19 less than x?
False
Let r = -297 - -206. Let g = r - -100. Suppose -g*y + 5*y = -4. Which is smaller: y or 2/13?
2/13
Suppose 0 = -291*r + 223*r. Which is bigger: r or -2/169?
r
Let n be ((-7)/(3027801/(-62)))/(4/3 + -1). Is 0 greater than n?
False
Let x = 97366981 - 20252639471/208. Let t = x - -1478. Is 1 at most t?
False
Let y(j) = -2*j**2 - 5*j - 4. Let t be y(-5). Let w(n) = -n**3 + 7*n**2 + 8*n + 5. Let p be w(8). Suppose -43*i - 1392 = p*i. Is i at least t?
True
Let a = -11452 - -11448. Which is smaller: a or 0.135?
a
Let q(n) = n**3 - 11*n**2 - 3*n + 1. Let z be q(11). Let l be (z/(-56))/(9/(-21) + 0). Suppose 0 = r + 12 - 11. Is l less than or equal to r?
True
Let v = 6.82 + -9.1. Let j = 0.38 + v. Let m = 2.1 - j. Which is bigger: -6 or m?
m
Let a = 108 + -114. Let g = -73 - a. Let f = g + 66. Is 5/2 less than or equal to f?
False
Let w = -2.013 - -12.765. Let x = w - -0.248. Is -0.5 <= x?
True
Let v be 9 + 2 - ((-12)/(-2) - 3). Suppose 2*y - 9 = -i, -v*i - y = -6*i - 6. Which is greater: i or 1/197?
i
Let d be 0*((-8)/(-36))/((-2)/3). Let y be (-8)/((-192)/42)*(164 + d). Let a = y + -2867/10. Which is smaller: a or 0.1?
0.1
Let n = -4104 + 1012. Which is greater: -3093 or n?
n
Let r = 6550 - 5758. Is 791 at most as big as r?
True
Let z be ((-2)/(-3))/((-62)/(-279)). Let u be (-9)/(-1) + 4*40/(-32). Which is bigger: u or z?
u
Suppose 287*y + 2288 = -6896. Let h(m) = 25*m - 5. Let r be h(4). Suppose -27 = f - 2*i + 5*i, -3*f - 2*i - r = 0. Is y less than f?
False
Let o be (-9)/((-108)/105)*((-462)/(-705))/(-7). Which is smaller: o or -2?
-2
Let c(u) = 2*u - 1. Let s be c(-4). Let b(o) = o**2 + 8*o - 7. Let f be b(s). Suppose y - 2 = f*d, 0 = -y + 2*y + 4*d + 28. Is -4 not equal to y?
True
Suppose d = -31*d - 72*d + 9880. Are 96 and d equal?
False
Let h = -836 + -339. Is h equal to -1176?
False
Suppose 552*f = 4*y + 554*f + 4000, -2*y - 5*f - 1968 = 0. Which is bigger: -6031/6 or y?
y
Suppose -3*c - u + 24 = -36, -4*c - 3*u + 80 = 0. Suppose -3*m - c = -23. Let b = -45964/67 + 686. Which is bigger: b or m?
m
Suppose 207*s = 208*s + 21. Let w be ((-34)/612)/((-1)/(s/4)). Which is bigger: 1 or w?
1
Suppose -4*i = d + 12 - 1, 10 = -5*d - 5*i. Is 0.695 > d?
False
Let t = 2651 - 2653. Is -123/8 bigger than t?
False
Let c(i) = -11*i - 8. Let u(l) = -11*l - 7. Let q(j) = 6*c(j) - 7*u(j). Let z be q(1). Suppose -2*g = 4*y + z, 6*y - y + 24 = 2*g. Which is smaller: y or -8/3?
y
Let a = -1.071 - -1. Let c = -36.071 - a. Let h = -36 - c. Does 0 = h?
True
Let w be 2 + 2 - (3465/(-144))/(-7). Let l = -34 + 35. Which is bigger: w or l?
l
Let o(z) = -2*z**3 + 34*z**2 + 75*z + 18. Let g be o(19). Which is bigger: g or 4.32?
4.32
Let p = 24.63 + -0.63. Let r = p + 48. Is r <= -1/2?
False
Suppose 6 = -5*c + 3*u - 4*u, -2*c + 1 = -3*u. Let y = 18329/165 - 1230/11. Which is bigger: c or y?
y
Let l = -1.87655 + -4.82345. Suppose -f + 4 = -3*f. Which is smaller: f or l?
l
Let l = 32.065 + -0.065. Suppose x + 3*c + 5 = 15, 0 = -4*x - 3*c + 13. Which is bigger: x or l?
l
Let h be (91332/1239)/(45/(-98)). Which is greater: -161 or h?
h
Suppose -b = -4*b. Let g be 5 + 233/(-20) - 7/(2/(-2)). Which is greater: b or g?
g
Let i be 2179/(-2410) - 6/(-15) - 143/(-286). Let l = 58 - 57. Is i not equal to l?
True
Let s be (-4)/8778*(-140)/(-240). Let v = 6937/2208294 - s. Is 1 at least as big as v?
True
Let r(b) = -10*b**3 + 42*b**2 - 25. Let k be r(8). Are k and -2458 equal?
False
Let s be ((-2)/(-5) - (-10)/(-150))*1383. Let k be s*(-51)/9 - (-2)/6. Let q = -23534/9 - k. Is -2 bigger than q?
True
Suppose 5*d + 9 - 13 = -y, 4 = 4*d. Let m = -70 - -77.1. Are y and m equal?
False
Let s(c) = -8*c**3 + c**2 - 11*c + 12. Let q be s(3). Suppose 3*m - m = -456. Is m != q?
False
Suppose 59 + 23 = 4*k - 3*s, -4*k + 2*s = -84. Let i = -32 + 56. Is k < i?
True
Let q(y) = -y**3 + 6*y - 18. Let l be q(-4). Suppose -1364 = 11*n - l*n. Let f = 132 - 8. Are n and f nonequal?
False
Let m = 3121 + -4495. Which is smaller: m or 1?
m
Let y = 46312/3 - 15437. Which is smaller: -3384 or y?
-3384
Let c = -28569 - -28568. Let k = -3 + -5. Which is greater: c or k?
c
Let p be ((-6)/((-15)/6*27/(-15)))/482. Are 1 and p equal?
False
Let g be ((-2)/5 - 2)*(-7685)/106. Let m = -186 + g. Is m greater than -19?
True
Let f be ((11/(-2))/(2/2))/((-2)/(-4)). Do f and -0.0446 have the same value?
False
Let k be 112/3 + (2 - 56/24). Suppose -k*a - 6332 - 1253 = 0. Which is bigger: a or -207?
a
Suppose -3*v = -5*r + 154, -908*v - 2*r = -905*v + 182. Wh