 smaller: 0 or l?
l
Suppose -4*h + 26613 = -3*w, -h - 41*w = -36*w - 6613. Which is bigger: h or 6650?
6650
Suppose d - 10 = 3*d - 2*a, -5*a + 25 = 2*d. Suppose d = -3*w, 62*r + 3*w = 59*r - 66. Let t(s) = 11*s + 1. Let g be t(-2). Is g less than r?
False
Suppose -3*k + 127 = 6*r - 8*r, -15 = -5*k. Suppose 0 = -f - 23 - 39. Which is greater: r or f?
r
Let y = -0.271 - -2.271. Let u = -0.106 + 9.006. Which is smaller: y or u?
y
Suppose -14*u = 5*j - 10*u + 57, -j = 6*u - 25. Are -484/31 and j unequal?
True
Let z = -13697/8 + 1699. Let b = 13 + -26. Is z < b?
True
Suppose 25*m + 61 = 12*m + 12*m. Suppose 13 = 4*d + 2*z - z, 0 = 4*d - 3*z - 25. Suppose -141 = 3*j + 4*l + 43, 236 = -d*j + 4*l. Is j != m?
True
Suppose 9*f - 4*f - 2*l + 267 = 0, -f = 5*l + 48. Suppose -8*y - 198 = 218. Which is smaller: f or y?
f
Let f = -12 + 10. Let j be (-214)/(-70) - (f + 5). Let r = -4614 - -4613. Is r >= j?
False
Suppose -12*r + 9*r - 12 = q, 8 = -2*r - 5*q. Let c be 2 - r*(-18)/48. Is c smaller than -1/8?
False
Let i = 13617/26 - 721779/1378. Let h = 3/68 - 157/476. Which is bigger: h or i?
i
Let l be (-3)/10 - (-31 - 13075/250). Suppose 247 = -5*k + 657. Which is smaller: l or k?
k
Let g be (1 - 27)/(((-300)/(-415))/5). Let t = g - -366863/2040. Is -1 at least as big as t?
False
Let z(v) = -5*v - 63. Let b be z(-17). Let n = -14 + 34. Which is smaller: b or n?
n
Let f be (1 - -712)/(9/(-45)). Is f greater than or equal to -3566?
True
Let i = -1 + 15. Suppose 0 = 263*u - 2908 - 511. Which is smaller: u or i?
u
Let l = 86512 - 357554093/4133. Which is greater: -2/3 or l?
l
Let i be (-14 + (-1491276)/(-106518))/(-2). Which is smaller: 1 or i?
i
Let m = 2.7 + -13.7. Let q = -8.4725 + 0.4725. Which is bigger: q or m?
q
Suppose -s - 74 = -16. Suppose -2*o - 222 = 4*u, 49 = -2*u - 4*o - 47. Do s and u have the same value?
True
Let i be (-21874)/21878 - ((-2)/6)/((-18)/(-54)). Which is smaller: i or -1?
-1
Let t(u) = -32*u - 2. Let o be t(3). Suppose -2*k - 301 = 3*w, -5*w - 2*k - 47 = 448. Which is smaller: o or w?
o
Suppose z - 3*y = 26, 2*y + 0 - 4 = 0. Let v be 4/8 - (-71)/(-2). Let a = z + v. Which is smaller: a or 10?
a
Let u = 72.9 - 73.069. Let w = 8.831 - u. Which is smaller: 0.3 or w?
0.3
Let l = -5 + 10. Suppose l*y - 2*k + 202 = 0, 0*y + 2*y - 3*k + 83 = 0. Suppose 444*q - 240*q = -8160. Is y bigger than q?
False
Let i = 2268 + -2271. Suppose -2*d - 3*t = 9, 0 = 4*d - t - 0*t + 11. Is d less than i?
False
Let q = -79 - -78.9. Let w = 771 + -5380/7. Is w greater than or equal to q?
True
Let p = -3489 - -3489.1. Do -350/11 and p have the same value?
False
Let a = 4789/11 + -436. Suppose -k - 7*k = -24. Suppose 0 = k*b - 3*x + 15, -x + 0 = 3*b - 1. Which is bigger: b or a?
a
Let c = 16342 - 13173. Which is smaller: c or 3?
3
Let y = -14335 - -14334. Is -190/187 >= y?
False
Suppose 3*k = -4*v + 70, -15*k + 3*v = -14*k - 6. Suppose 3*i - 14 = -3*g + 43, -3*i - 4*g = -56. Which is smaller: k or i?
k
Let x = 0.8 - 41.8. Let b = x - -30. Let q be 123/(-216) - (-4)/32. Is b equal to q?
False
Let h(s) be the second derivative of -2*s**3/3 - 143*s**2/2 + 41*s + 1. Let b be h(10). Is -183 at least b?
True
Suppose 93 = -5*g + 36*g. Suppose 0 = -g*l - 3*k + 69, k - 3*k - 38 = -l. Let u be (-114)/(-4) - (1 + 0). Is l less than or equal to u?
False
Let k = 4195 + -4223. Is k less than or equal to -301/11?
True
Let r = 128 - 91. Suppose 3*h = a + 7, 4*h - 5*a - r + 13 = 0. Which is smaller: h or 1/166?
1/166
Let c = -59 - -69. Suppose 0 = 12*i - c*i + 6. Let g be 360/52*1/i. Which is bigger: -2 or g?
-2
Let m(z) = z**3 + 27*z**2 + 181*z + 4. Let j be m(-14). Are j and 28 equal?
False
Let i = -372 + 354. Let n(v) = 5*v + 93. Let h be n(i). Which is smaller: h or 7/3?
7/3
Let y be -21 - ((-960)/280 + 4/(-7)). Is -145 < y?
True
Let o(j) = 6 + j**3 + 11*j - 2539*j**2 + 4*j**3 - 4*j**3 + 2531*j**2. Let z be o(6). Is -3/52 >= z?
False
Let s = 1037 + -1093. Which is bigger: s or 30?
30
Let d = -11.65 + -0.35. Let w = -11.967 - d. Let t = 2.033 - w. Are 0.01 and t non-equal?
True
Suppose -86*f = -73*f. Let u be 6/18 + 5/3. Suppose 0 = -c - u*c - 12, 0 = -3*o - 3*c - 12. Are f and o non-equal?
False
Let j = -242784/7130741 - 2/24337. Which is bigger: j or 1?
1
Let f = -14925 + 15324.975. Let h = f + 0.025. Is h bigger than 0.2?
True
Let g be 3*(-3)/6*42/(-9). Suppose -g*u + 5 = -6*u. Suppose 7*s - u*s = 6. Which is bigger: 4 or s?
4
Let u = 0.36 + -0.52. Let v = u - -0.21. Is 0.8 less than v?
False
Let w = -229 - -178. Let v = 52.8 + w. Do 2/13 and v have the same value?
False
Let x = 8341 - 8650. Is -311 > x?
False
Let z(v) = -7*v + 27. Let m be z(3). Suppose -m*j + 3*j = -n + 21, -n = -j - 7. Let g be (-2 - (-85)/15)/(1/(-2)). Which is greater: j or g?
j
Let p be 13/78 - (-327)/(-18). Let m be (14/p)/(80/24). Is -1 less than m?
True
Let t = -50 - -60. Suppose 0 = u + t - 83. Suppose -2 = z - k - 13, 4*k = -5*z + u. Do 14 and z have different values?
True
Suppose 20*t = 33712 + 13188. Suppose -5*q + 784 = -4*y + t, 0 = 2*y + 3*q - 753. Is y greater than 384?
False
Let u = -1405 - -1405. Let h = -10.3 - -0.3. Let z = -5 - h. Is u < z?
True
Let g(j) = j**2 + 6*j - 2. Let f be g(4). Let i be (f + 0)/2 - -2. Suppose -4*y - i = -13. Is -7/5 greater than or equal to y?
True
Let j = -1/550 + 91/19800. Do -1 and j have different values?
True
Let j = -1.116 - -1.1. Let u = j - -0.066. Let h = -6 + 4. Which is bigger: u or h?
u
Let q = -4.27 - -7.4. Let b = -2.96 + q. Which is smaller: b or -4/5?
-4/5
Let g = -151 - -148. Let z be (5/(-5*(-2)/20))/(-1). Which is smaller: z or g?
z
Let z(v) = -v**3 + 10*v**2 - 6*v - 22. Let l be z(9). Suppose -2*x - 12 = 4*r - 0*r, l*r + x = -21. Let c = -1 - r. Is c bigger than 6?
False
Let q = -297 - -453. Suppose -q = -7*j + j. Is 23 equal to j?
False
Let w be 18 - (-680)/(-40) - 5*2577. Which is bigger: w or -12883?
-12883
Let f = -7672 + 7673. Which is greater: 1/173 or f?
f
Let k be (8/8 - -5) + -5. Let j be (k + 234/(-114))/((-1)/(-3)). Which is smaller: j or -2?
j
Let u(l) = -5*l**2 + 25*l - 19. Let j be u(4). Is -30/1349 less than or equal to j?
True
Suppose 2*n = -3*n + 5*i, -3*n = -2*i. Suppose n = 10*c - 13*c + 27. Suppose 12*s - 17*s + 4*m = -63, 4*s + m = 42. Which is smaller: c or s?
c
Let c = 2980/357 - 179/21. Which is smaller: c or -0.02?
c
Suppose 4*h - h = 9. Suppose -36 = h*o + 108. Let k be (-4)/(o/28) - 0. Which is smaller: k or -2?
-2
Let i = 49 - -960. Does i = 1/5?
False
Let f = 179 - 297. Let c = -58046 + 58044. Does f = c?
False
Let v(p) = -p**3 - 6*p**2 + 1. Let o be v(-7). Suppose w + o = 56. Let k be 7 + 3 - (0 - -1). Do k and w have the same value?
False
Suppose 0 = -x - 4 + 3. Let k be (x/(-19))/((-2)/4). Let g = -129 + 128.8. Is g greater than k?
False
Suppose -523*k + 538*k - 220140 = 0. Which is smaller: k or 14677?
k
Let s be 0/3 - 12/(-2). Let i be (-11)/(-77)*(-14)/(-4)*10. Suppose 11*k = i*k + s. Is k != 1?
False
Let a = -4702 + 5764. Is 1064 > a?
True
Let z be (-244)/(-8) + (-2)/(-4). Suppose 21 = 4*f + x - 100, 2*f - 53 = -3*x. Is f at most as big as z?
True
Let o = 0.3363 - 0.1363. Which is smaller: 250 or o?
o
Suppose 7*p + p + 208 = 0. Suppose 3*g + 116 = -g. Let h = -54 - g. Which is bigger: h or p?
h
Suppose -2*z - 3*o = -3, 0*z = -2*z + 2*o - 12. Let y be (30/(-9) - z)*3. Let x = 0.047 + -27.047. Do x and y have different values?
True
Let s be (-39)/117 + (2 - (-1082)/(-462)). Let w = s + -3/77. Is 0 equal to w?
False
Let n = 2473 - 2449. Which is bigger: n or -13?
n
Suppose -41232 - 45016 = 133*g - 29590. Which is greater: g or -10?
-10
Let h be (-616)/176*(-4)/520037. Is h < 0?
False
Suppose -653 + 627 = q. Let v be ((-4)/(-21)*-6)/q. Which is smaller: 1 or v?
v
Let u = -37 - -41. Suppose 0 = q + 3*c, 3*q + c = u*q - 8. Suppose -q*g = -10*g - 28. Which is smaller: 2 or g?
g
Let h = 159 + -154. Suppose 0 = 3*g, -h*m = -4*m + 3*g. Does 20/31 = m?
False
Let a(b) = b**3 + b + 59. Let n be 3/((-45)/25)*18/(-15). Suppose -n*y - 6 = 5*i + 2, i = 5*y + 20. Let s be a(i). Is 60 less than s?
False
Let y be 15/3*(-11 - -10). Let o be -1 + y - (0 + 46). Is o >= -50?
False
Suppose 3*m - 7*m + 40 = 4*q, -4*m - 2*q = -30. Suppose -7 = -5*c + 13, m*c = 5*d. Are 4 and d unequal?
False
Let n = -1.8 - 0.2. Let o = n - -3