ual to -45?
True
Let u be 2 + -1 + 4 + -3. Suppose u*k - 2 = 0, 3*v = -5*k - 1 - 0. Let h be (2 - (-6)/v)*0. Is -5/6 not equal to h?
True
Suppose -3*m + 4*k = 553, -k + 370 = -2*m + 2*k. Let j = m - -2333/13. Which is bigger: 0 or j?
j
Let h be (-1 + 1)*33/66. Is h < 1/268?
True
Let i = 28 - 19. Let m be i/(-18)*(-4)/10. Which is smaller: m or -1?
-1
Let t = -11.3 - 3.7. Let s = t + 12.3. Let b = s - -0.7. Do 5 and b have the same value?
False
Let l(a) = -54*a**3 + 68*a**2 + 67*a. Let u be l(-1). Which is greater: u or 52?
u
Suppose -4*b + 38 = -2*q + 32, -3*q + 27 = 3*b. Suppose -24 = -3*k - k. Suppose -k = -3*d + d. Which is greater: d or q?
q
Let b = -16.4 - -26.5. Are 0 and b equal?
False
Let v = -229.577 - -1.577. Which is bigger: 1/3 or v?
1/3
Let a(l) = l**3 + 15*l**2 - 16*l + 3. Let o be a(-16). Suppose -z + 3*z + o*z = 0. Let h be (6/(-184))/(6/(-4)). Which is bigger: h or z?
h
Suppose -4*r = i + 2, -3*i + 5 + 2 = -r. Let t = 2 - 2. Suppose t = 4*b + 3*b. Which is bigger: b or r?
b
Let g be (3*(-69)/(-243))/2. Let m = g + 2/27. Suppose 6*j = j. Which is smaller: m or j?
j
Suppose -83*n + 80*n - 87 = 0. Suppose -3*b = q + 92, -q - q + 95 = -3*b. Which is smaller: b or n?
b
Let m be 20/135*-1*150. Is -21 greater than m?
True
Let p = -1197/287180 + 1/865. Is p greater than -1?
True
Let f = 82 + 18. Let y be -3 + 1/(f/(-1417)). Let h = 69/4 + y. Which is smaller: 1 or h?
h
Let t = -2.06 - -2. Let g = t - -0.26. Which is greater: 1/4 or g?
1/4
Let n = 29 - 41. Let t be (n/(-8) + -3)*32/6. Let v be ((-6)/5)/(2/10). Which is greater: t or v?
v
Suppose 4*d - 117 = 7*d. Let i = -118/3 - d. Let c = 93/28 + -18/7. Is c at least i?
True
Let b(s) = -3*s**2 - 2*s - 2. Let u be b(-2). Suppose 0*g + 10 = 2*g. Suppose 0 = -z - g*z - 54. Is z > u?
True
Let p = 10.95 + -10.85. Which is smaller: 1078 or p?
p
Let d be (83/1 + 0)*7/(-7). Let x be -10 - -8 - (1 + 251/d). Which is greater: x or 1?
1
Let o = 24689 - 269560/11. Let i = o + -184. Is i < 0?
True
Suppose -29 = 4*d - 21. Let b = -3 + -2. Let q = d - b. Which is greater: q or 6?
6
Let r = -22 - -26. Suppose -y = -3*z + 4*z + 12, z - 48 = r*y. Which is bigger: y or -10?
-10
Let l be 4224/(-42) - 1*-1. Let s = l + 99. Is -3 greater than or equal to s?
False
Let f(s) = -s**3 + 19*s**2 + 6*s - 78. Let p be f(19). Let y be (-7)/((-64)/20 + 3). Is p > y?
True
Let r = 5 - 4.44. Let w = 22.44 + r. Let l = -16 + w. Is 1 greater than l?
False
Let c be (-14716)/(-95) - 68/85. Let x = 154 - c. Is x greater than or equal to 0?
False
Let p(x) = -56*x + 421. Let g be p(8). Which is greater: -30 or g?
g
Let b = 0.06 - 12.06. Let i = b - -12.06. Is -0.3 at most as big as i?
True
Let f = -10 - -10.03. Let o = -92/9 - -10. Which is bigger: o or f?
f
Let c(w) = -26*w**2 + 8*w + 35. Let d be c(-4). Which is smaller: d or -416?
-416
Let z = -1.4 - -1.3. Let j = 79.3 + -40. Let l = j - 41. Is z smaller than l?
False
Suppose -a - x = -2*a + 10, 5*x = a - 30. Suppose -5*z + a = -0*z. Which is smaller: z or 1/33?
1/33
Let n be (-6)/(-15) + 7/(-5). Let y = 95 + -48. Let r = y - 47. Which is bigger: n or r?
r
Let t(m) = -47*m + 313. Let b be t(16). Is b bigger than -875/2?
False
Let t(l) = -l + 22. Let h be t(0). Let z be ((-2)/2)/(2/h). Which is bigger: -10 or z?
-10
Let y = 6 - 23. Let c = 7.07 - 1.07. Let l = y + c. Which is greater: l or 0.1?
0.1
Let j = -16100/24639 - -110/191. Do j and -1 have different values?
True
Let x = -189.5 + 214.41. Let y = x - 25. Does 1 = y?
False
Suppose -5*b + b + 101 = 5*f, 5*f - 3*b = 108. Let n be (-6)/(-4)*(-14)/f. Let l = -0.35 - -0.05. Which is greater: l or n?
l
Suppose -5*t + 45 = 4*h - h, -25 = -4*h + 5*t. Suppose 5 + h = 5*p - 2*f, -3*f = -3*p + 18. Let c be (p + -13)/(5 + -16). Is 2 <= c?
False
Let c(d) = -5*d + 1. Let l(w) = -14*w + 2. Let r(a) = -17*c(a) + 6*l(a). Let z be r(10). Let s = 6 - z. Do s and -2/9 have different values?
True
Suppose 5*q - 3*x - 476 = 0, -8*q - 3*x = -5*q - 300. Is q less than or equal to 89?
False
Suppose 0 = 6*p - 7*p - 7*p. Which is smaller: p or 2/123?
p
Let x = -102 - -71. Let d be 1 + 1 + (-27 - 5). Which is smaller: x or d?
x
Let m be (-1 - 915/(-9)) + (-21)/(-63). Which is smaller: 102 or m?
m
Suppose 0 = -50*s + 46*s - 20. Let d be (-8)/(-410)*s/2. Which is smaller: 0 or d?
d
Let r = 30469/7 - 4237. Suppose -a = -5*a + 3*p + 449, -3*a - 4*p + 368 = 0. Let l = r - a. Is l greater than or equal to -11?
True
Let l be 46/20 + (-81)/108. Is 1 <= l?
True
Suppose o = 3*t + 27, 0 = -4*o + 4*t - 19 + 95. Is 16 bigger than o?
True
Suppose 0 = -117*p + 107*p + 10. Which is smaller: -3/62 or p?
-3/62
Suppose 4*j = -q + 574, 0*j - 5*q + 134 = j. Which is bigger: j or 143?
j
Let h = -343 - -485. Let b = -140 + h. Is -0.05 at most b?
True
Suppose 8 = i - 5*i. Let t be i/3*(-9)/(-6)*-1. Let g be 2/(-4) + 15/14. Is t <= g?
False
Suppose -m + u = -2*m + 278, 0 = -4*m - 3*u + 1111. Is m at least 277?
True
Let i = -2.6 + 0.6. Let l = -407 - -406.95. Is l != i?
True
Let y = 14.43 + -13.8. Let r = 0.17 + y. Let n = -154 - -153. Is n at most r?
True
Suppose 53 = 5*b + 33. Suppose -7*a = -b - 3. Is 2/91 > a?
False
Suppose 2*o = -5*b + 9, -3*b - 32 = -0*o - o. Suppose 5*l - 5*d - 30 + 10 = 0, -3*d + 9 = 4*l. Suppose 13 - 67 = -l*a. Which is smaller: o or a?
o
Let w = -0.009 + 9.009. Let y = -0.06 - 3.94. Let r = y - w. Which is bigger: r or -1?
-1
Let g be 4/2 + (5 - 9 - 26). Are -198/7 and g equal?
False
Let h be 1 + 7 - 1799/7. Does -247 = h?
False
Let u = -0.6085 - 7.0915. Let b = 0.1 - -0.9. Is b greater than u?
True
Let b be 6/(-8)*(-5)/(180/8). Suppose 0 = -2*h - h - 3. Let u be (-2)/(-6) - h/3. Is u smaller than b?
False
Let h(j) = j + 10. Let d be h(-8). Let r be d/3 - (-5208)/(-27). Let o = r + 192. Which is smaller: o or -0.1?
o
Let t = -141819/87487 - -144/89. Is t at most -1?
False
Let r be (-1)/(-8) - (-12 + 1014/48). Is r greater than or equal to -64/7?
True
Let d = 207 + -245. Is -113/3 greater than d?
True
Let a(k) be the third derivative of -k**4/12 - 17*k**3/3 - 19*k**2. Let v be a(-17). Is -4/19 <= v?
True
Let i be 7*(-4 - (-3056)/(-56)). Let m = 392/1403 + 4009836/9821. Let b = i + m. Which is smaller: -1 or b?
b
Let n be -2 + -2 + 1887/684. Let u = n - -22/19. Let b be 4/(-6)*6/12*-3. Is b not equal to u?
True
Let a = -7 - 1. Let o(j) = -j**3 + 40*j**2 + 83*j + 32. Let k be o(42). Is a greater than or equal to k?
True
Let l(b) = 14*b**2 + 3 - 4*b - 11*b**2 + 1 + b**3. Let f be l(-4). Suppose -3*a - 1 + 9 = -f*d, 3*d - 15 = -3*a. Which is bigger: 3 or a?
a
Suppose -9*m + 4*m - 205 = 0. Let r = m + 17. Is -24 < r?
False
Let y = 10193549/120 + -84945. Let q be (0 + (-3)/(-30))*(-130)/15. Let z = y + q. Which is bigger: z or 0?
z
Let q be (-3 - -1) + 2 - -2. Suppose 0 = -3*v + k + 20, -2*v + 2*k + q = -10. Let c = 8 - v. Is -6/13 at most c?
True
Let r = -0.089 - -5.429. Let x = r + -0.34. Is -1 < x?
True
Let y = -159 - -159. Is 2/255 != y?
True
Let w be (6/(-4))/3*0. Let u(f) = 2*f**2 - 5*f - 4. Let a(h) = -4*h**2 + 11*h + 9. Let s(t) = -4*a(t) - 9*u(t). Let g be s(1). Do w and g have different values?
True
Let j = -30/91 + 85/1638. Which is bigger: 1 or j?
1
Let l(z) = -3*z**2 + 1. Let x be l(1). Let d be (0 + 1)/(1 + x). Let c = -194.9 - -198.9. Which is smaller: d or c?
d
Suppose -10*u = 4 + 16. Let d(f) = -7*f**3 - 5*f**2 - 6*f - 3. Let s be d(u). Is s bigger than 45?
False
Let l be 2/(-3) - 644/(-12). Let g = l + -24. Is 29 equal to g?
True
Let m(k) = -2*k - 3. Let y = 15 - 23. Let i be m(y). Is 13 smaller than i?
False
Suppose 0 = -66*x - 6769 - 5903. Is -190 <= x?
False
Let c = -278/11 + 142903/5654. Are c and -1 non-equal?
True
Suppose -3*p = 5*c - 10 + 21, p - 4*c = 19. Which is smaller: p or -0.051?
-0.051
Let g = 1.54 + 12.16. Let x = g + -15. Let r = x - -3.3. Is 2 < r?
False
Suppose -j + 0*j + 3 = 0. Suppose g + 2*s - j = 0, g = -0*g + 4*s + 3. Let y be (3/2)/g*0. Is y at most as big as 0?
True
Let l be 216/(-162)*(2/6)/1. Let y = -13 - -8. Let z = y + 6. Is l at most z?
True
Let o = -21.4 + 1043.4. Which is bigger: o or 0?
o
Let c = 0 + -1. Let l(x) = -x**2 - 16*x - 7. Let v be l(-5). Let q be 1/1 + (-4)/(v/39). Is c at least q?
True
Let y be (-7)/((-4)/12*1). Let b be (-2)/8 - (-678)/24. Let x = y - b. Is x smaller than 0.1?
True
L