
Suppose 3*n = 3*l + 1629, 4*l - 5*n = -1151 - 1021. Are -545 and l nonequal?
True
Suppose 2 = -f + 3. Let k be 3*(2/12)/(f/2). Which is greater: 6/53 or k?
k
Suppose -4*j = 3*x - 11, -89 = -5*x - 4*j - 76. Is -10/817 > x?
False
Suppose 535 = 9*p - 14*p + 5*u, 4*p + 3*u = -407. Is p > -113?
True
Let t = -13.2 - -12. Let m = -1.203 - t. Let p = m - -0.026. Which is bigger: -1 or p?
p
Let d be (15 - 13)*5/(-10)*5. Is d greater than or equal to -98/27?
False
Suppose 6*q + 33 = 2*j + q, 0 = -5*j + q + 25. Let g be 1*(1 + -4) + (10 - 1). Let u be g + 10/(-25)*3. Which is smaller: u or j?
j
Let f = 34955 - 34855. Is f at least as big as 111?
False
Suppose 73*p + 13*p = -805648. Is p greater than -9368?
False
Let a(h) = h**3 - 30*h**2 - 94*h - 109. Let y be a(33). Which is greater: y or 58?
58
Suppose 0 = 3*u - 9, 5*v + 4*u + 20090 = -7983. Let m = v + 95445/17. Let a = 863/340 + m. Which is bigger: 0 or a?
0
Suppose 0 = 2*r - 187 - 229. Suppose 203*o = r*o + 1690. Which is greater: -339 or o?
o
Suppose 0 = -17*f + 12*f - 42*f + 8789. Which is bigger: 194 or f?
194
Let n be (152/6)/((-4225)/5070). Let s = -47 - -18. Is s less than n?
False
Let v be 1/(-3)*83/166*(-3)/(-554). Is -1 less than v?
True
Let u be (-4)/((-12)/2055)*(-8)/(-40). Let n be (6 - 8) + u + -2 + 3. Which is greater: 135 or n?
n
Let l be 122*(-4*(-7)/14 - 1) - 4. Is 95 bigger than l?
False
Let l be ((-24 - 2)*45/90)/(1 + -29). Let q be 0*(2/4 - 1). Is l >= q?
True
Let z(p) = p - 14. Let q = -40 + 56. Let a be z(q). Let j be (2 - a) + 0/(-3). Which is bigger: -2/11 or j?
j
Let o = -23209/3135 + 2/627. Are -6 and o unequal?
True
Suppose v + 502 = 1550. Let b = 7276/7 - v. Let f be (-2 - -11)*1/(-1). Which is bigger: f or b?
b
Let g = 6394 - 6393. Which is bigger: g or -7/5304?
g
Let z = -113.4 - 351.6. Let p = 463 + z. Is p greater than or equal to 50?
False
Let k be 2*3*(-42)/(-12)*-10. Let r = 109 + k. Which is greater: -103 or r?
r
Let k = -3738.97 + 3740. Which is bigger: k or 1/14?
k
Let z = 63.9 + -5.9. Let o = -75.67 + 17.37. Let u = o + z. Which is greater: u or 6/11?
6/11
Let s(h) = -4*h**2 + 143*h + 436. Let r be s(38). Which is smaller: 91 or r?
91
Suppose 3*x = 5*o - 5, 4*o + 41 = 3*x + 45. Which is greater: -5/224 or o?
o
Let z(m) be the first derivative of m**4/4 - 6*m**3 + 8*m**2 + 16*m + 8. Let j = 12 + 5. Let c be z(j). Which is smaller: c or -0.5?
c
Let v = 3 - -184. Let h = -29 - v. Are h and 0.1 nonequal?
True
Let a = -8201/4 - -2056. Let w be (-46)/(-8) + 9/(-12). Which is smaller: a or w?
w
Let g be 0/(5/2*(-6)/5). Suppose -21*m + 8 + 13 = g. Are m and 4/165 equal?
False
Suppose 19 - 19 = -8*o. Suppose o = 7*l - 1774 + 1487. Which is greater: 39 or l?
l
Let r be 12/(-144)*-20 + -2. Let f = -12 + 12. Suppose -5*q = -f*q. Is r at least q?
False
Suppose -25*n + 220 = -3*n. Let f be (0 - (-43)/5)/(n/150). Are f and 128 non-equal?
True
Let g be -15*2/(-26)*-1. Suppose -30 = 29*i - 44*i. Suppose q + i*a - 4*a = 4, -4*a - 14 = q. Is g greater than or equal to q?
True
Let t(b) = -66*b - 2930. Let x be t(-21). Does x = -1542?
False
Let z = -524 + 286. Let q = 238 + z. Are q and 75 nonequal?
True
Let r = -55 + 61. Let p = r + -22. Let t be 0 - (-3)/(36/p). Which is smaller: t or 0?
t
Let k = -3457991/10 + 345799. Let g be (-1)/((-16)/26) + -1. Is g >= k?
True
Let q = 289/299 - 12/13. Let g(b) be the second derivative of b**3/2 + 3*b**2/2 + 16*b. Let j be g(-1). Which is smaller: q or j?
j
Suppose -107*t - 196 = -169*t - 6272. Suppose -499 = 5*b + 4*i, i = -0*i - 1. Is b less than or equal to t?
True
Let j = 77 - 74. Suppose -3*z - 9 = j*c, -c = 3*z - 0*z + 3. Let f(w) = w**3 - 3*w**2 - 4*w. Let p be f(c). Do -43 and p have the same value?
False
Let t = -20 + 22. Suppose 2*q = t*d - 4*d - 138, 4*d - 12 = 0. Is -73 at least as big as q?
False
Let z = 186 + -215. Let w = 194 + z. Is 165 < w?
False
Let w = -24.45 - -51.78. Let m = w + -0.26. Let d = -27 + m. Is -1 smaller than d?
True
Let g = -110 + 114. Let s be (-38)/(3 - 5/10*g). Suppose -4*k - 74 = 3*u + 48, -4*u + 2*k - 148 = 0. Is s at most as big as u?
True
Let i = -6211/9 - -31011505/44937. Which is bigger: 0 or i?
0
Suppose -99*w - 96133 = 234923. Which is smaller: w or -3341?
w
Suppose 4*v + 618 = -x - v, -4*x - 5*v - 2442 = 0. Is x != -611?
True
Suppose 121*p + 190*p + 7662418 = 0. Is -24638 equal to p?
True
Let p = -108 + 92. Let k be p/252*14/(-12). Let h = 37 - 39. Which is smaller: k or h?
h
Let n = 8432579/2 - 666202021/158. Let r = n - -179. Which is smaller: 0 or r?
0
Let y(c) = 6*c - c + 4 + 0*c + 0*c. Let m be y(-2). Let w = -115/6 + 565/42. Is w > m?
True
Suppose 109 = 378*q - 67*q - 202. Which is bigger: q or 31/540?
q
Let b = 1186 + -1186. Do -3/4106 and b have the same value?
False
Let j = 3367.2 + -3367. Is j at least 8/31?
False
Let v be -1*1/(-4)*2*10. Suppose -4*k = 4*i + 28, 2*k = -3*k + v*i - 45. Let r be (-1 + -2)*(2 - k/(-6)). Which is greater: r or -12/13?
-12/13
Let r = 188.616 + -185.616. Let y = -0.103 + 3.053. Let n = 3 - y. Which is greater: r or n?
r
Let n = -58 + 100. Let x = 228 + -226. Let q be x/8 + (-14)/28. Which is greater: q or n?
n
Let j be -3*((-5)/(-2))/(-1). Suppose -3*r = -5*p + 1, 3*p + 2 = -4*r + 49. Which is smaller: j or r?
j
Let n(s) = 15*s - 20*s + 10*s - 2. Let i be n(1). Suppose -d - l = -i*l, -4*d + 3*l = 20. Do 2 and d have the same value?
False
Let s = 3843 + -3882. Is 0.12 bigger than s?
True
Let x be (-10)/6*(14 + -11). Let h be 5 + 1 + (1840/62)/x. Which is smaller: -6 or h?
-6
Let r = -797/1180 + 23394403/34643620. Which is smaller: 1 or r?
r
Let x be 0 + -5 - ((-2148)/(-35) + (-12)/15). Which is bigger: x or -67?
x
Let p = -4997 + 4997.5. Is -2296 at least p?
False
Let h = -4556635350/3828551 - 15/132019. Let d = 1190 + h. Which is smaller: d or 1?
d
Suppose 29*c + 7503 = -17321. Is -856 < c?
False
Let c(n) = -n + 6. Let a be c(6). Suppose 3*y - 2*o - 12 = a, y - 2*o + 0 - 8 = 0. Let w = 20145/8 + -2518. Which is bigger: w or y?
y
Let f(x) = 2*x + 3. Let c be f(-3). Let t = 0.00217 + 2.64683. Let h = 0.351 + t. Which is smaller: h or c?
c
Let f(g) = -g**3 + 12*g**2 + g - 6. Let y be f(12). Let j be 4/(-5)*(-105)/y. Suppose j*i = 10*i - 100. Which is greater: -24 or i?
-24
Let n be (-36839124)/(-1938762) - (19 - 0). Is -1 less than n?
True
Let f = -32317.161 + 32390. Let j = -0.161 - f. Let b = 72.5 + j. Is 5 >= b?
True
Let t(u) = -u**3 + 7*u**2 - 21*u + 55. Let y be t(5). Is y at least -4/2063?
True
Let v = -547.6 - -550.7. Which is bigger: v or -1/17?
v
Let d = 24043/11677210 + -3/1558. Are 0 and d nonequal?
True
Let r(v) = -v - 1. Let z be r(-5). Let q(j) = -7*j - 245. Let w be q(-35). Suppose w = 8*d - z - 4. Which is greater: 13/4 or d?
13/4
Suppose 2*t - 4*l = 4*t - 58, -3*t + 3*l = -51. Let n(b) = 4*b - 1. Let p be n(0). Let z be p + 25 + -4 + 1. Is t less than or equal to z?
True
Let v be (0 - (-3)/3) + -17. Let c be (-1)/(-4 - 60/v). Suppose -c*s + 2*d = -5*s + 9, 3*s - d + 1 = 0. Are s and -1/73 equal?
False
Let a = 11213 + -11212.907. Is -3/2 smaller than a?
True
Let y = -1923 - -1683. Which is bigger: 0.4 or y?
0.4
Let b(f) = 7*f + 133. Let i be b(-19). Let u = -2/17869 - 35248/4377905. Which is greater: u or i?
i
Let b be (-4)/30 - (-256)/120. Suppose 0 = -4*x - 0*x + 2*u + b, u = 4*x - 7. Suppose -x = -2*q - q. Which is bigger: 8 or q?
8
Let u = -17 - -189. Let v be (-15)/(-35) + 29/((-406)/(-2388)). Are u and v nonequal?
True
Let j = -41 - 53. Let c = -95 - j. Which is smaller: c or 1/235?
c
Let r be 6/4 + 1 + 3/(-6). Let c be (-16052)/(-45) + (r - 4 - -2). Let w = 1798/5 - c. Is 3 equal to w?
False
Suppose -6*n + 6 = -6. Suppose n*y + 2*r = -10, 5*r = -3*y + 6*r - 35. Do y and -13 have the same value?
False
Let f be (30/(-4) - 537/(-358))/(-17). Which is greater: 3/389 or f?
f
Suppose -4*z - 104 = 3*t, t = -59*z + 60*z - 30. Which is bigger: t or -18?
-18
Let s = -120501/23 + 5240. Which is greater: -1 or s?
s
Suppose -20*z + 14 = -12 + 46. Is -2/703 equal to z?
False
Let p(j) = j**3 + 5*j**2 - j - 3. Let f be p(-5). Let s = 1705866/1385995 - 2/106615. Is s equal to f?
False
Suppose -2*r + 8 = 84. Let u(n) = 10*n - 668. Let w be u(63). Is r not equal to w?
False
Let w be ((-12)/(-3))/24*2*15. Suppose 2*q + w = 5*b - 2*q, 2*b = -4*q + 2. Let