1602?
-1602
Suppose 5*r = -7 + 17. Suppose z = -4*v + r*z + 88, 3*v - 59 = -z. Suppose 2*y - v = 4*y + p, 0 = 4*y - 2*p + 30. Is y at least as big as -5?
False
Let t be ((-189)/(-105))/((-6)/(-190)). Let h = -54 + 16. Let o = h + t. Is 19 > o?
False
Let u = -2/445 - -97459/890. Let b = u + -102. Let c be (2 - -7) + -1 + 1. Is c at most b?
False
Let f(d) = -7*d - 31. Let u be f(-7). Suppose u - 4 = 7*z. Let j be (-62)/(-1209)*z/(-4). Which is greater: -1 or j?
j
Let a = 1265 - 1239. Which is smaller: a or 9/19?
9/19
Suppose -r + 1 - 5 = 0. Let i be r/(-6) + (20/6 - -1). Let k be ((-38)/(-4))/(((-30)/(-12))/i). Is k > -1?
True
Let n be (-230094)/(-2268) - (-1)/(-6). Let x = -101 + n. Do 0.02 and x have the same value?
False
Suppose -34 = -3*n + n. Let a be -2 + 19/5 - 0/n. Which is smaller: a or 1?
1
Let f = 3952 + -3952. Which is smaller: -29/191 or f?
-29/191
Let m = -4.8 - -7.34. Let f = 2.04 - m. Is 14 not equal to f?
True
Suppose 0 = -6*x + 4*x + 2*h + 16, -3*h = 3*x - 6. Suppose -x*g + 166 - 41 = 0. Let t = g - -12. Is 38 greater than t?
True
Let p = 0.415 + -0.515. Do p and -0.113 have different values?
True
Let i be ((-3)/(-48))/(10/40) + 3501/12. Let x = -44 - -335. Is x greater than i?
False
Let q = 13270/123 - 2396596/1599. Let h = -1390 - q. Suppose 463*p = 468*p - m - 5, -2*m = -5*p + 5. Which is greater: p or h?
p
Suppose 0 = -m + 34 + 6. Let g be 32/m*1/6. Let t be (-7 - -6) + 1 + (1 - 0). Do g and t have different values?
True
Let s be ((-40)/(-25))/(-2) + (-5771)/5. Which is smaller: 1 or s?
s
Suppose -11 = 8*n - 11. Which is greater: n or -5/932?
n
Suppose 2*o + 8 = 0, -8 + 26 = -2*r - o. Which is smaller: -0.47 or r?
r
Let a(l) = -5*l**3 + 2*l**2 - 2*l - 9. Let m be a(-3). Let x be 2/(m/(-102) + 3). Are x and 0 nonequal?
True
Let j be ((-46)/(-139863))/((-2)/(-3)). Let i = 1666/731747 + j. Is 0 greater than or equal to i?
False
Suppose 0 = -5*h + 37*r - 42*r + 2320, 5*h - 5*r - 2300 = 0. Is h less than or equal to 462?
True
Let j = 165/23 - 4075/552. Let f be ((124/24)/(-1))/(5/(-30)). Suppose -27 + f = -4*w. Do w and j have the same value?
False
Let z = 4718 + -4717. Which is smaller: z or -3/649?
-3/649
Let m be -544 + (1 - (-5 - 2/2)). Which is smaller: m or -539?
-539
Let n(g) = 104*g**3 - 23*g**2 + 23*g + 4. Let h be n(1). Which is smaller: 1497/14 or h?
1497/14
Suppose 3*u - 37 = a, -u - 4*a + 3*a + 15 = 0. Let f(l) = l**3 + l**2 - 2*l. Let n be f(-2). Suppose -x + 0*x - 2 = 2*p, -p - 4*x + u = n. Is p > -5?
True
Let p be (-26037)/1980 - (-4)/10. Which is greater: p or -0.01?
-0.01
Suppose -4 = -3*w + 5*j, -4*w + 2*w - 3*j = -9. Suppose r - 75 = -w*z - 2*r, -3*r = 3. Let s be (-4)/z - 57/52. Do s and -2 have different values?
True
Let f = -0.083905 + -87.002095. Let x = 87 + f. Let k = -0.086 - x. Is k >= -10?
True
Let l = -25/16 + 517/336. Suppose 11 = 3*w - 7. Let k be 3/5 - w/20*2. Which is smaller: l or k?
l
Let j = 111 + -65. Suppose -27 = -q - 3*v, -5*v = 4*q - j - 55. Is 23 > q?
False
Let l(u) = 4*u + 39. Let k be l(8). Suppose 7*y = -k - 167. Which is greater: -39 or y?
y
Let f(s) = 68*s - 8. Let m be f(3). Suppose -2*l + 984 - 14 = 3*l. Which is smaller: l or m?
l
Suppose -1085 = -68*k - 4825. Let o be 2 + -2 - 4*1. Let v be (-120)/k + o/22 + -4. Which is smaller: v or -1/2?
v
Let l = 933/8 + -8413/72. Which is greater: -84 or l?
l
Let z(n) be the second derivative of -n**5/10 - 5*n**4/2 + n**3/6 - 23*n**2/2 - 36*n. Let y be z(-16). Suppose 25*b = 14*b + y. Is 42 less than or equal to b?
True
Let s = -61.41 - -62.61. Let i = -2 - 4. Let u be i/(-2) - (-52)/(-16). Are u and s non-equal?
True
Let o = 14.531 - 14.6. Let g = 0.006 + o. Let z = g - -9.063. Is -2/5 greater than or equal to z?
False
Let w be -3 + 0 + (-72)/(-21). Suppose 2*b = 2*n + 38, -3*n - 2*n + 3*b = 95. Let v = n + 20. Which is smaller: v or w?
w
Let l be (-4 + 1 - (-13)/3)*-144. Let c be (2/3)/((56/l)/7). Is -17 <= c?
True
Let h = -82714/144725 + 2/20675. Which is greater: h or 2.95?
2.95
Suppose 35*d - 792 = 13*d. Let j be (-2 + 1293/648)/((-18)/d). Which is smaller: 1 or j?
j
Let j = 3027 - 2978. Is 4 <= j?
True
Suppose -956 = 11*z - 7*z. Let y = z - -210. Let b = -40 + 10. Are b and y equal?
False
Let f be 2/(-5) - (-28028)/(-455). Suppose 156 = -5*b - 164. Is b less than or equal to f?
True
Let t(p) = p - 335. Let s be t(-31). Do s and -356 have different values?
True
Let s(u) = -u**2 - 142*u + 584. Let c be s(4). Which is smaller: -2/14309 or c?
-2/14309
Suppose -51*v + 65*v = 28. Suppose 5*p - 2*p - 5*l = -17, v*p - 5*l = -18. Is p smaller than 4/149?
False
Let w be 39155/(-369)*(3 - -3)*(-6)/(-4). Which is greater: w or -957?
w
Let h(c) = -c - 2 - 2*c + 7 - 37. Let z(j) = 2*j + 31. Let y(o) = -5*h(o) - 6*z(o). Let v be y(10). Is v not equal to 4?
False
Let n(l) = -760*l - 19759. Let s be n(-26). Let x(u) = 2*u**2 - 5*u + 3. Let z be x(3). Let r be (3/(-2))/(z/(-5)). Which is smaller: r or s?
s
Let t be ((-5)/((-22060)/54))/(-6)*(-48)/(-9). Are t and 1 unequal?
True
Let n = 16944 + -16939. Which is bigger: -1577 or n?
n
Let j(u) = -5*u - 86. Let h be j(-18). Suppose -h = 5*d + 2*z, -4*z = -4*d + 3 + 5. Is 2/7 less than or equal to d?
False
Let p = -103657/6743611 + 10/7259. Which is smaller: p or 1?
p
Suppose 28*o = 30*o - 4. Suppose 2*d - o*m - 3*m - 285 = 0, 5*m - 275 = -2*d. Suppose 141*t = d*t. Is t less than -9/13?
False
Suppose -1 = 2*h - 3*g + 9, 4*h + 5*g = -20. Which is greater: -1/379 or h?
-1/379
Let f be (-880)/(-100)*(52 - 2). Let o be 75/f + (-1)/8. Let b(j) = j**3 - 4*j**2 - 6*j + 6. Let i be b(5). Which is smaller: o or i?
o
Suppose 8*k = 2*k - 168. Let r = k + 4. Let s be (1 + (-4 - -1))*2/r. Is s greater than or equal to -4?
True
Let l = -38480 + 38489. Which is smaller: l or 111?
l
Let p = -1207/6 - -31978/159. Let r = p - 2837/530. Is -5 >= r?
True
Suppose 15*d - 26722 = -26737. Let q be (-1)/(-2)*2*-1. Let y be -3 + 2 - q/(-5). Which is bigger: d or y?
d
Suppose 0 = t - 0*z - 2*z - 8, 3*t = -2*z. Suppose -9*k + 7*k - 1 = 3*l, -t*l = k. Is -3/26 at least l?
False
Let w = -164.82 - -165.0773. Which is greater: 2/3 or w?
2/3
Let g(c) = -c**3 + 10*c**2 - 9*c + 7. Let v be (4/10)/((-14)/(-35)). Let t be v/((-51)/27 - -2). Let r be g(t). Which is smaller: r or 38/5?
r
Let k = -44 + 17. Let m = 27.5 + k. Let z = 1.5 - m. Which is smaller: -0.36 or z?
-0.36
Let b = 2/273027 + 1906853/591922536. Which is smaller: 0 or b?
0
Suppose -2*u - 4*c + 28 = 0, 3*c - 2*c - 9 = -u. Suppose 0 = u*p + 16, -15 = 4*n - p - 55. Suppose 0 = -x - x + 5*v + 5, 0 = -3*v - n. Is -6 not equal to x?
True
Let r be 8/(-12) + 158/(-6). Let i be (r/6 + 4)*(-24)/4. Suppose w - 4 = 0, i*p - w = p - 8. Which is bigger: -3 or p?
p
Suppose 17*v + 323 + 332 = 723. Is v < 699?
True
Let q be (-13*(-99)/16588)/(0 - (-3)/8). Is 0.4 greater than q?
True
Let v = 51.67 - 49. Let d = v - 1.88. Let o = 0.69 - d. Is -18/7 bigger than o?
False
Let j = 5309 - 5373. Which is bigger: j or 19?
19
Let h = -3 - -2.5. Let n = 0.46 + h. Let z = -24.96 + n. Is -0.1 less than z?
False
Let z(t) = -18*t**2 - 8*t - 17. Let r be z(-5). Let o = r - -427. Which is bigger: o or -1.31?
o
Let r be 30/(-44)*23904/(-1660). Which is greater: r or -2/11?
r
Suppose -v + 6*v + 223 = 3*b, 0 = b + 4*v - 97. Let q = 147 - 65. Let k = q - b. Which is greater: 3/52 or k?
k
Let x = 153737/5 - 93318364/3035. Suppose -3*n = 2*n - 5. Which is smaller: n or x?
x
Let n = -30 + 30.21. Let r = -12.79 - n. Let p be 6/(-10) + 3 + (-12)/5. Which is bigger: r or p?
p
Let y = 785 - 1316. Let v = y + 352. Which is greater: v or -180?
v
Suppose 0 = -z - 3*s + 7, -s + 4*s = 3. Let x be z/10 + 3 + 3 + -37. Which is greater: -32 or x?
x
Let g(j) = -15*j. Let a be g(2). Suppose 0 = -5*f + 4*i - i - 157, f - 2*i + 37 = 0. Which is smaller: f or a?
a
Let f = 494 - 228. Let u = -266.11 + f. Which is bigger: -2 or u?
u
Let d = -749305/11 - -68037. Are 1/3 and d unequal?
True
Let j(o) = -70*o - 312. Let v be j(49). Which is bigger: -1 or v?
-1
Let s = 158 + -193. Let f = s - -191. Is 157 greater than f?
True
Let s be 4 + 2 + -6 + (33570/8394 - 4). Which is smaller: 1 or s?
s
Let g(l) = 124*l**3 - 9*l**2 + 8*l. Let c be g(1). Suppose -3*j + c + 51 = 0. Is 63 less than j?
False
Let j(b) = -b**2 - 13*b + 26. Let k be j(-1