Are 1/3 and t equal?
False
Let t(y) = -2*y - 27. Let u be t(-13). Let h = 3570/258953 - -4/2039. Which is greater: u or h?
h
Let g = -5986 - -5985.8. Suppose 0 = -s - 3*v - 9, v - 20 = -5*s - v. Suppose -s*f = -2*f + 20. Which is bigger: g or f?
g
Suppose -5*m - 66 = -4*y - 6*m, y + 4*m = 9. Let t = y + -43. Which is smaller: -29 or t?
-29
Suppose 31 = -g - 4*n, -2*g - 19 = 3*n + 28. Let c be 0*(4 - 12/4) + 3. Let w be -22 + 0 + 12/c. Is w less than g?
False
Let j = 12.6 - 30.5. Let w = j + 3.9. Do -1/5 and w have different values?
True
Let n be 719965/(-375) + 2/(-6). Let p = -1920 - n. Is 0 at least as big as p?
False
Let u = 421 + -369. Is 55 < u?
False
Suppose -2*w + 55 = -7*w. Let q = 4 + w. Let g be (q/21)/((-1)/(-3)). Are g and -9/5 equal?
False
Suppose 5*i + 12 = 3*w + w, 12 = 4*w + 3*i. Suppose -4*r + 51 = -w*o, -3*r - 4*o + 2 = o. Which is smaller: 3 or r?
3
Let b(m) be the second derivative of m**4/12 - m**3/3 + 9*m**2/2 - 4*m. Let g be b(4). Suppose 10 = g*r - 22*r. Which is greater: r or -0.05?
-0.05
Let g(m) = m**2 + 12*m - 3. Let n be g(-11). Let d = n - -11. Which is smaller: -4 or d?
-4
Let a(q) be the first derivative of 3*q**2 + 2*q + 5. Let z be a(3). Let c be ((-150)/z)/(1/(-2)). Which is smaller: c or 16?
c
Let c = 86 - 83. Let s be -1 - (c/(-30))/((-10)/(-75)). Let v be (-4)/(-6) - (-2)/(-6). Which is greater: s or v?
v
Suppose -4*h - 183*v = -178*v - 1690, -1277 = -3*h + v. Which is greater: 426 or h?
426
Suppose 0*l + 3*l = 3*h + 1392, 2314 = -5*h + 2*l. Is h less than -2/5?
True
Let j be -120 - 3/9*6. Is j at least -123?
True
Let a = 13 + -13.1. Let z = 0.23 - 0.14. Let p = -0.03 + z. Which is greater: a or p?
p
Let s = -1046/63 - -110/7. Suppose 313 - 312 = -i. Which is bigger: i or s?
s
Let o be (-10)/25 + (-28)/(-70). Is o bigger than -3/557?
True
Suppose -f = u - 39 - 69, 2*f - 4*u = 210. Is 106 greater than or equal to f?
False
Let y be 44/(-10) + 6/15. Let n be (-12)/4 - y/(-10). Let l = 9 - 11. Is n at most as big as l?
True
Let q = 533 - 567. Is 6 >= q?
True
Let s = 1038 + -1038. Which is smaller: s or 5/9?
s
Let t be 14/8 - 2 - 185/(-180). Which is smaller: t or 0?
0
Let k(j) = -j**2 + 8*j - 9. Let d be k(6). Suppose 9*n - 3 = -d. Is n at most as big as -5/6?
False
Let u be ((-18)/12)/(27/36). Is u at most -24?
False
Suppose 116 = -5*u - 94. Let q = u + 1845/44. Which is smaller: 0 or q?
q
Let l be (-29)/(522/(-3330))*(-8)/(-210). Are l and 7 equal?
False
Let v = 76.01 + -75. Let h = -1.11 + v. Is h less than -34?
False
Let y = 50 + -58. Let n = -7 - y. Which is smaller: n or 2/159?
2/159
Let g(a) = -a**3 - 18*a**2 + 18*a - 19. Let y be g(-19). Let z be 2/((-1)/2 + y). Let v be (-5)/z + 3/(-12). Is -2/19 equal to v?
False
Suppose 295*h - 291*h = 2*u - 1422, u + 3*h - 716 = 0. Which is smaller: 714 or u?
u
Let u = 7 - 42. Let t be 10/u + 24/(-14). Is t != -20/9?
True
Suppose 4*m + 3*f = 0, 16 = -4*m + 2*f - f. Suppose -k - 4*u = -2*u + 84, -4*k - 371 = u. Let b = k - -91. Is m greater than b?
False
Let t = 14 - 10. Suppose -r = 4*o - 3*o, t*r + 27 = 5*o. Let u be 36/135*o/16. Which is greater: u or -1?
u
Let x(a) = -4*a - 14. Let n be x(-6). Let m be (3 - 18/n)*-40. Let o be 12/m - (-2)/72. Which is greater: o or 1/4?
1/4
Let k(v) = -2*v + 6. Let b be k(3). Suppose 10*a - 9*a = b. Do 4/5 and a have different values?
True
Let z = -7 - -13. Let a be (1/z)/(7/12040). Let u = -291 + a. Which is greater: -3 or u?
-3
Let n(l) = 11*l + 155. Let c be n(-12). Do c and 16 have the same value?
False
Let j = 6.5 - 6. Let n = j + -0.25. Let l = 291 - 292. Which is bigger: n or l?
n
Let c = -5 + 8. Suppose -c*k = -2*m + 9, -2*m - 4*k + 2 = -0*k. Suppose -m*i - 8 = i. Is -2 equal to i?
True
Let c = -2 - -4. Suppose c*b - 3*b = -2*t + 6, 0 = 3*b - 4*t + 12. Let w be ((-16)/(-140))/((-2)/5). Which is bigger: b or w?
b
Let y be ((-4 - -5)*-10211)/157. Let u = -65 - y. Let g = u + -47/5338. Is 1 < g?
False
Let n be 2/(-3)*189/(-6). Suppose -n = 4*c + 63. Let y be -1 + 3 - c/(-7). Is -9 < y?
True
Let i = -114.54 - -112. Let w = i + 2.5. Is -1 less than w?
True
Suppose 11*v - 7*v = 5*v. Suppose i + i = -y - 3, 4*y + 4*i + 12 = v. Let a be (-2)/(-4) + 6/(-8). Which is smaller: y or a?
y
Let z = -31.1 + 31.4. Let g = 7.79 - -0.11. Let f = 8 - g. Is z != f?
True
Suppose -55*z = -57*z. Let x(t) = 4*t - 6. Let p be x(z). Is p smaller than 0?
True
Suppose -4*d = -5*n - 5, 4*n - d + 4*d = 27. Suppose -2*b - b + 15 = -n*h, 0 = b + 4*h + 15. Let k = 149/57 + -8/3. Which is bigger: k or b?
b
Let i = 0.09 - 0.39. Let u = -0.6 - i. Is u at least 0.4?
False
Suppose 552 = 4*c + 4*t, c + 4*t = 98 + 55. Are 133 and c non-equal?
False
Suppose 7*o - 162 = 6. Let u be (12/(-9))/((o/9)/(-2)). Let i = 229/174 - 14/29. Which is bigger: i or u?
u
Let f = 3 - 10/3. Let r = 45 + -44.96. Which is greater: f or r?
r
Let r(k) = -k**2 - 2*k + 47. Let h be r(-8). Which is greater: -1/833 or h?
-1/833
Let b be 1/(264/(-50)) + (-40)/(-60). Let z = b + 1/44. Is z less than or equal to -7?
False
Suppose 4*x = 2*l + 98, l = -x + 44 - 81. Is l > 4/9?
False
Let f(t) = -t - 6. Let s be f(12). Let j = s + 2. Which is smaller: -14 or j?
j
Suppose -3*k - k = 0. Let b be (-3)/((-144)/100)*-3. Let o = b + 6. Do k and o have different values?
True
Suppose -213 + 212 = m. Let i be (-4)/(-68)*-45 + 3. Which is bigger: m or i?
i
Let i = 1858 + -1845. Is -27 smaller than i?
True
Let q = -137 - -131. Is -8 > q?
False
Let b = -4580/9 + 636578/1251. Are b and -1 equal?
False
Let c = -33 + 28. Let g be 5/c + -2*1/(-4). Let s(v) = v**3 + 8*v**2 + 8*v + 6. Let l be s(-7). Which is greater: l or g?
g
Let f = -31 + 31. Let w be f*4/(-4) + 0. Is -2/49 less than w?
True
Let q be (96/6)/((-1)/(-2)). Suppose 0 = 5*k - k - q. Suppose -4 = -2*p - k. Which is greater: -4/7 or p?
-4/7
Let b = 1074 - 634. Is 439 not equal to b?
True
Let j be (20/(-50)*11)/(2/(-240)). Is j != 528?
False
Let a(r) = r**3 - 6*r**2 + r - 4. Let t be a(6). Let b be ((-15)/((-45)/(-12)))/(t/9). Are b and -15 equal?
False
Let r = 0.38 + -0.1. Let c = -0.29 + r. Which is greater: -1 or c?
c
Suppose 5*o = 2*n - 2 - 1, o = -1. Let d be n/(-4) + (-219)/12. Let b = d + 21. Which is smaller: b or -4?
-4
Suppose 2*m - 12 = -m. Let b(y) = -y**3 + 7*y**2 - y + 22. Let w be b(7). Suppose 3*f + 5*t + w = -2*f, 0 = m*f + 2*t + 4. Which is smaller: f or 1/21?
1/21
Let c = 17 - 11. Suppose -3*w + c = 0, 5*n + 2*w + 8 = 4*n. Is -12 less than n?
False
Let j = -18 + 23. Suppose o + j = 11. Let g(z) = -z**2 - z + 8. Let w be g(0). Which is smaller: o or w?
o
Let r = -436 - -435.95. Are r and -2/73 nonequal?
True
Let v(f) = -f + 10. Let y be (-2)/8 - 222/(-24). Let k be v(y). Suppose -4*l + k = -5*l. Which is bigger: 2/5 or l?
2/5
Let m = -0.2 + 0.1. Let z(h) = 5*h**2 + 23*h + 13. Let n be z(-4). Let g be (96/8 - 9)/(n*13). Is m at least g?
False
Suppose 0 = -5*o + h - 994 - 347, 2*h + 1070 = -4*o. Which is bigger: 0 or o?
0
Let b = -111 - -107. Is -24 equal to b?
False
Let p = -343 - -1373/4. Let f(j) = -2*j - 1. Let b be f(-1). Let h be 2*(-3)/15*b. Is p less than h?
False
Suppose -x + w + 1 = 0, -w + 5 = -3*x + 4*x. Suppose -5*j - 8 + x = 0. Let c be ((-21)/10 + 2)*8. Is j greater than or equal to c?
False
Suppose 1 = 3*v + 2*n, -8*v - 2*n + 16 = -10*v. Let w be -2*1/2*1. Is v greater than w?
False
Let z be -62*((-6)/(-4))/3. Suppose -724 = -53*m - 2367. Are z and m equal?
True
Let o(q) be the third derivative of -1/120*q**6 + 0*q - 5/8*q**4 + 3/2*q**3 + 2*q**2 + 0 - 17/60*q**5. Let w be o(-16). Is -7 bigger than w?
False
Let g = -15 - -23. Let a be g/5*1/(-20). Are 0 and a equal?
False
Let a be ((-2)/(-9))/((-4)/(1008/(-30))). Is 2 < a?
False
Let o = -8 - -11. Let b = o + -10. Let m = b + 9. Does 2 = m?
True
Let a be 1/(2/4) - 2. Let k = 153/2 - 11479/150. Is k > a?
False
Suppose -10*p + 541 + 1349 = 0. Which is bigger: p or -1?
p
Let h = -1.3 - -0.3. Let o = 0.6 - -0.4. Are o and h non-equal?
True
Let i be ((-45)/(-10))/9*8. Suppose -4*f - 15 - 1 = -4*j, -i*j - 2*f + 40 = 0. Let b be 23/3 + (-5)/(-15). Is j less than b?
False
Let a = 104 + -20. Let g = a - 88.7. Let p = g + 1.7. Is -0.1 at least p?
True
Let g = -73 - -72.9. Let p be 1/(-3 - 34/(-11)). Is g greater than or equal to p?
False
Suppose -v + 2*w = -6 - 9, -5*v = -5*w