ose 8*w = -0*w + 88. Is w at least z?
True
Let x = -1 - 1. Let u = 6493/110 - 603/10. Which is smaller: u or x?
x
Let u(s) = s**2 - 11*s - 25. Let w be u(13). Which is smaller: w or 37?
w
Let g = 53 + -29. Let u be (32/g)/(4/6). Suppose 0 = 5*k - n + 28, -23 = 4*k + n - u*n. Is k at least -6?
True
Let i(t) = 170*t - 1917. Let h be i(11). Suppose 2*z = 4*z + 96. Is h greater than or equal to z?
True
Let q be 18/(-10) - -2 - 2. Suppose 4*d - 5*d - 3*w + 77 = 0, 5*w + 223 = 4*d. Let j = 60 - d. Are q and j non-equal?
True
Let g = -133/94 - 4/47. Suppose -i = -5*r + 19, -4*r + 0*r + 18 = 2*i. Let a = -2 - i. Which is bigger: g or a?
g
Let j = -59 + 64. Do 6 and j have different values?
True
Let t = 1555 + -547. Let n = t - 998.94. Let q = -0.06 + n. Which is smaller: 0.2 or q?
0.2
Let j be (250/175)/(-3 - (-99)/42). Which is greater: j or 4?
4
Let q(i) = -i**2 - 14*i + 15. Let c be (6/(-4))/(6/60). Let l be q(c). Which is smaller: 18 or l?
l
Suppose -5*n = -b - 4*n - 4, 0 = -5*n + 15. Suppose -5*v = -4*o + 5, 2*v + 4*o + 5 = -3*v. Let h be v*(0 + 4/(-42)). Is h greater than or equal to b?
True
Suppose 2*t + 0*t - 14 = 0. Which is bigger: t or 0.42?
t
Let o = 55687912 + -5179035247/93. Let c = o + 639. Do c and -1 have the same value?
False
Let r be (-1 - -2)*(1 - -1). Suppose -3*a = h - 10, -r*h + 33 = 3*h - 2*a. Let x be (-288)/(-21) - (-2)/h. Is 13 equal to x?
False
Let h be 18/10*14/(2184/65). Is 2 less than h?
False
Let s = -16 - 7. Let h = s - -26. Do 4 and h have the same value?
False
Let u = -321 - -373. Suppose 4*m = 7*m - 159. Which is bigger: u or m?
m
Suppose 0*f + f = 3*h - 9, -5*h = 3*f - 15. Let n(i) = -2*i + 15. Let y be n(8). Do y and f have different values?
True
Let r = -61 - -61.3. Let m = 0.38 + -0.08. Let h = m - r. Which is greater: -0.07 or h?
h
Let r = -25 + 12. Suppose -p = 4*f + 42, 0 = -4*f + 8*p - 6*p - 36. Which is smaller: r or f?
r
Suppose 0 = -x + 1. Are -3/355 and x unequal?
True
Let v = -0.224 - 0.176. Is -20 smaller than v?
True
Suppose 0 = -2*r - 122 + 40. Let v(d) = d**2 + 8*d + 15. Let n be v(-5). Which is greater: n or r?
n
Let w(y) = -y**2 + 17*y - 41. Let z be w(14). Do -10/191 and z have different values?
True
Let t(v) = -4*v**2 - 5*v - 2. Let a be t(-3). Let j = a + 24. Is j at least as big as -3?
True
Let i be ((-4)/10)/(36/90) - -328. Do 326 and i have different values?
True
Suppose 5*v = l - 13, l - 4*v + 1 = 10. Which is smaller: -34/5 or l?
l
Let x(j) be the second derivative of j**3/6 + 3*j**2/2 - 17*j. Let a be x(-3). Is 12/17 < a?
False
Let i be (-13218740)/(-12)*3/23493. Let j = 1/7831 - i. Let d = j + 139. Is d not equal to -3?
True
Let l = 974 - 979. Let w = 0 + -1. Is w equal to l?
False
Let a be 1/8*(-7 + -1). Is a > 9/23?
False
Let b be (-112)/28 - 4*-1. Is b smaller than -1/80?
False
Suppose 84 = 8*d - 20*d. Which is smaller: d or -8?
-8
Let l(g) = -3*g**2 - 60*g - 57. Let c be l(-19). Which is smaller: c or -51/49?
-51/49
Let n be (1 + 0)*(0 + -1). Let u(o) = 15*o**2 + 3*o + 2. Let h be u(-1). Suppose 18*p - h*p = 0. Is n bigger than p?
False
Suppose -9*u = 2*u - 88. Which is greater: u or 3/4?
u
Let t = -1 - -7. Let h = t - 2. Which is smaller: h or 0.2?
0.2
Let f = 8 - 8.1. Which is smaller: f or 188?
f
Let p(c) = -c**2 + 3*c**3 + 3 - 3*c**3 + 2*c - 2 - c**3. Let v(g) = -g**3 + 13*g**2 - 13*g + 10. Let n be v(12). Let m be p(n). Which is bigger: 0 or m?
m
Let b = -26.096 - 0.104. Let m = -24 - b. Let o = 3.2 - m. Is o at least as big as 0.06?
True
Let s = 3331/7 + -28201/63. Which is smaller: 27 or s?
27
Let y be 16456/1320 + (14/6 - 1). Which is smaller: y or 15?
y
Let g(f) = f**3 + 9*f**2 + 19*f + 48. Let b be g(-7). Let c = 18 + -5. Is b less than c?
False
Let q be (4/(-8))/(6/(-144)). Let r be ((-2)/q)/((-212)/(-36)). Which is bigger: r or 0?
0
Let f be 6/(-1 - 2) + -32. Let h = f + 37. Is h >= 5/3?
True
Let u = 27377/19308 - 2/1609. Do u and 2 have different values?
True
Suppose -9*f + 11 = 29. Let s be 2 - -15*2/25*f. Is 2/9 smaller than s?
False
Let j(x) = -140*x + 3. Let s be j(-1). Are 142 and s nonequal?
True
Suppose 10*n + 90 = -10. Let p = 14 - 26. Which is smaller: n or p?
p
Let s be (22 + 3)/5 + -28. Suppose -3*i - 28 = q - 0*i, -2*i = -4*q - 84. Are q and s non-equal?
True
Let u be 1 + -5*(-1)/(-1). Let y = -34.1 - -32.1. Which is greater: u or y?
y
Let d(j) = -561*j + 1123. Let t be d(2). Let m be 37/9 - 2/3. Let b = -337/90 + m. Which is greater: t or b?
t
Let m = -0.14 - -26.14. Let c = m - 24. Are -7 and c equal?
False
Let j(b) = b**2 + 5*b + 1. Let h be j(-7). Let v be (-120)/((-130)/180 + 4/18). Suppose 0 = 7*p + v - 345. Is h greater than p?
False
Let t be -12 + (-10 - -16) + 432/50. Is t less than or equal to 3?
True
Suppose -5*m = -0*m + 195. Let i = m + 17. Which is greater: i or -21?
-21
Let f = 7712.977 - 7718. Let p = f + 0.023. Is p greater than 1?
False
Suppose t = 4*m + 159, -m - 7*t - 16 = -12*t. Is m less than -44?
False
Let r = 4.302 + -0.142. Let f = 0.16 - r. Is 0.06 less than or equal to f?
False
Let x = -15 - -36. Let r = x - 23. Which is smaller: r or -1/8?
r
Let w = 1.076 + 0.104. Let k = -0.03 + 0.21. Let m = k - w. Which is bigger: m or 2/15?
2/15
Let u = -49.428 + 49.5. Do 2/7 and u have the same value?
False
Suppose -5*b = -0*b + m + 65, 0 = 5*b + 3*m + 65. Let j(p) = -5*p**2 - 5*p - 1. Let o be j(-2). Is o less than or equal to b?
False
Suppose 0 = -4*j - j - 5. Let h = j - 0. Let q = -293/4 - -72. Is q less than or equal to h?
True
Let o(n) = n**2 + 10*n - 18. Let y be o(-12). Let b be (56/(-12))/7 - y/(-9). Which is bigger: b or -4/37?
b
Let r = 9/7 - 38/35. Let h(m) = m**2 + 13*m - 13. Let o be h(-14). Which is greater: r or o?
o
Let r(p) = -124*p - 15. Let i be r(1). Do -0.2 and i have the same value?
False
Let p = 3 - 3. Let s = -59/14 - -309/70. Is p equal to s?
False
Let c = -12/7 - -2. Let w = 104/21 - c. Let i = 73/15 - w. Which is bigger: 4/7 or i?
4/7
Let y(g) = -g - 1. Let z be (0 - 2)*1 - -1. Let q be y(z). Let m be -3 + (-2 - 532/(-108)). Are q and m nonequal?
True
Suppose -5*y + 2*x = -1 - 10, -3*y + 2*x = -9. Let l be (13 + -14)*(-1)/y. Let t be -4*(3 + l/(-2)). Is -10 greater than or equal to t?
True
Suppose 16 = 2*a + 2*a. Suppose -t - a = 3*v + 4, -5*t + 5*v = -20. Is 1 at most as big as t?
True
Let d = 59 - 45. Suppose -11*l + 4*l = d. Is l <= -20/9?
False
Let v = -6.9 - -0.9. Let h = -5.9 - v. Which is smaller: 17 or h?
h
Let c(l) be the first derivative of 9*l**2 - 27*l + 11. Let i be c(6). Are i and 81 equal?
True
Suppose 7 = 4*d - 3*f, -3*d + 15 = 2*d - 5*f. Let q = d - 14. Let a be (2 - 1)*(1 + -2). Is q smaller than a?
True
Let x = -66 - -108. Suppose z + l = -38, -l + x = -3*z + 2*z. Are -41 and z equal?
False
Let m = 2/133 - 1205/532. Let k(d) = 2*d + 11. Let q be k(-6). Does q = m?
False
Let j = 18 - 10.2. Let h = -0.12 + 8.12. Let x = j - h. Do x and 2 have different values?
True
Let p be 140 - ((12 - 9) + 3). Is 133 greater than or equal to p?
False
Suppose y - 304 = -3*y - 3*w, -3*w = -5*y + 407. Let l = -36 + y. Which is smaller: l or 45?
l
Let z be 6/30 - 758/(-10). Let t be (-10 + 3)/(12/z). Let n = t + 44. Is n at most as big as 0?
True
Let m = -37 - -38. Let k = 16 - 9. Let q = m - k. Which is bigger: q or 1?
1
Suppose 61*v + 4*k + 4 = 60*v, 4*k = -4. Let r = -42 - -24. Is r less than or equal to v?
True
Let r be (-115)/105 + 15/35. Which is greater: 91 or r?
91
Let v(i) = -3*i + 15. Let y = -45 - -45. Let w be v(y). Which is smaller: w or 13?
13
Let f be (1/(-10))/((-4)/10). Let z be 6/(-2) - 70/(-22). Is z != f?
True
Let l(d) = -d**3 - 10*d**2 + 3*d + 29. Let k be l(-10). Let z be (k/12)/((-39)/24 - -2). Is -21 less than or equal to z?
True
Let m = 332 - 1329/4. Which is bigger: 262 or m?
262
Let f(p) = -25*p - 11. Let o be f(-1). Suppose l - 15 = 2*u, l + 3*u = -u + 15. Which is greater: o or l?
l
Suppose -4*a + 36 = -2*v - 2*v, 0 = -3*a - 5*v - 5. Let q(u) = -u**2 + 8*u - 16. Let h be q(a). Which is greater: h or -3/49?
-3/49
Let u be 1025/(-451) + (-9)/(-33). Suppose z - 5 = 3*r, -2*r - 3*z = -3*r + 1. Is u greater than r?
False
Let o = 1.16 - -15.54. Let c = o + -1.7. Let q = 15.01 - c. Which is bigger: q or 0?
q
Let y be 38/3 + -1 + 24/72. Do y and 18 have the same value?
False
Let x = -1021/904