
p
Let o = -0.03 + -0.04. Let y = -11.93 + o. Let u = 12 + y. Is 0 greater than or equal to u?
True
Let g be ((-2)/4)/(2/(-12)). Let h be (-12)/20*4/(-8)*10. Suppose 0 = h*v - 2*a + 1 - 0, -4*v + 2*a = 0. Does g = v?
False
Let k be ((-12)/140)/((-12)/16). Let x = k - 113/70. Is x < -1?
True
Let i = 631 - 1894/3. Is -2.8 equal to i?
False
Suppose 0*a - 5*g - 531 = 4*a, 3*a + 2*g + 400 = 0. Is a at most as big as -136?
False
Let m(q) = 14*q**2 - 98*q + 1. Let a be m(8). Is a not equal to 114?
True
Let z(x) = 2*x + 3. Let y be z(-2). Let k = -54 + 52. Let v be (k - -1)*-6*5/(-55). Is v < y?
False
Let k be -1*6/(-2) + -5. Let w be 4/(-4) + 3 + k. Let h be (-3)/(-9) + (-1)/12. Is w < h?
True
Let t(s) be the second derivative of -s**5/20 + s**4/2 - 5*s**3/6 + 5*s**2/2 - 3*s. Let q be t(7). Let r = -791/10 - q. Is 0.2 bigger than r?
True
Let o(y) = -y**3 - y**2 - 2. Let l be o(-3). Let n = 2215 - 2200. Which is smaller: n or l?
n
Let j = -0.01 - -0.034. Let c = j + -0.014. Is 1/3 greater than c?
True
Let o(s) = 12 - s + 19 - 3*s + 3*s. Let i be o(7). Which is smaller: i or 25?
i
Let o = -1762 - -1761. Which is bigger: o or 2/809?
2/809
Suppose -3*a = a + 104. Let y = -25 - a. Suppose -c - d + 3 = 0, -3*c - 4*d + 20 - 7 = 0. Which is bigger: c or y?
y
Let m be 3/(-2)*(-45)/378. Which is smaller: 0 or m?
0
Let g be 2/5 - (-332)/20. Let q = -53 - -70. Is q at most g?
True
Suppose 32 = -9*f + 860. Which is smaller: f or 89?
89
Suppose 5*b + 2*l - 59 - 172 = 0, -4*l = -2*b + 102. Which is greater: b or 46?
b
Let n(t) = 7*t + 31. Let p be n(2). Is 47 >= p?
True
Suppose -f - 2*f = -3. Suppose 0 = -12*p + 40*p + 56. Is f not equal to p?
True
Let c be ((-2)/6)/((-25)/225). Let u(f) = 2*f**2 + 3*f + 2. Let i be u(c). Is 30 >= i?
True
Let m = -303 - -302. Suppose 0 = -2*z - 2*z. Let u be 0 + z + (-4)/(-130). Is u not equal to m?
True
Let t(y) = 2 - 6 + 5 - 15*y - y**2. Let o be t(-15). Which is smaller: o or -2/121?
-2/121
Let r = -51.9 + 52. Let o = 2 - -4. Let d be (-9)/((o/(-3))/6). Which is smaller: d or r?
r
Let q = 16 - 9. Let g(n) = n**3 - 10*n**2 + 2*n - 11. Let r be g(10). Does q = r?
False
Let f = -10 + 12. Let x = f - 5. Let q be x - 2/(-42)*61. Is q at least as big as 1?
False
Let t = 11/81 + -125/1053. Is t != -0.06?
True
Suppose -2*v - 3*v = -2*n + 1, 2*v - 3*n + 7 = 0. Suppose -10 = 4*t + 2*h, -h + 2 = -4*t - 23. Let q = t + v. Is q > -0.1?
False
Suppose -a + 2 = -3*a. Let f(z) = 2*z**3 - 4*z**2 + 2*z + 1. Let q be f(3). Let v = 23 - q. Is a >= v?
True
Suppose 0 = -2*x + 319 + 23. Is x at most 172?
True
Let y = -16 - -6. Let g = -8 - y. Suppose 4*l + 2*q - 34 = 0, -l + 0*q = g*q - 13. Which is bigger: 6 or l?
l
Let a(t) = 5*t - 3*t + 3 + 3 + 7. Let c be a(-7). Are -2/13 and c equal?
False
Suppose 3*j - 5150 - 27979 = 0. Let t = -22851/2 + j. Let y = t - -372. Which is bigger: y or -11?
y
Let g(d) = 355*d - 49. Let l be g(-2). Do l and -759 have different values?
False
Let y = -82 - -152. Let u be 2/6*-2*-99. Let r be 4/5 - u/y. Is -1 at least as big as r?
False
Let z = -2106 + 1714. Which is bigger: z or -391?
-391
Let t(r) = -r - 4. Let y be t(-4). Which is bigger: 2/1559 or y?
2/1559
Let c(w) be the first derivative of 3*w**2 - 27*w - 15. Let f be c(6). Suppose -5*u + 0*h = -h - 46, 3*h + 3 = 0. Is u at most as big as f?
True
Let m(k) = -9*k - 955. Let b be m(-104). Let j be 37/7 + 4/(-14). Suppose 3*v - 2*v - 15 = r, 0 = j*r - v + 87. Is b < r?
True
Suppose -d - 2 = 2*k, -3*k = -5*k - 8. Let l be 5/3 + (-2)/d. Suppose -7*x = -8*x + 1. Which is greater: l or x?
l
Let r be (-106)/420 + (-18)/(-63). Let f be (-3)/(-2)*(-7 - -9). Suppose f*s + 13 = 10. Which is smaller: r or s?
s
Suppose -6*f - 10 = -a - 4*f, 0 = -3*a - 3*f + 30. Let h = -2 - -9. Is a at most h?
False
Suppose 3*u = 2*b - 22, 3*b + 6 = -2*u - 0*u. Let n be (-27)/(-5) - (7 + u). Let d(a) = a**3 - 2*a + 3. Let h be d(0). Which is bigger: h or n?
n
Let i = -447 - -448. Is i less than or equal to -1/4?
False
Suppose -2*x + 3*s = -2*s + 25, -3*x + 10 = 2*s. Let z be 162/(-40) + 21/(-28). Let o = z - -19/4. Which is smaller: o or x?
o
Let p = -300 + 337. Which is smaller: p or 36?
36
Let t = -1.38 - 0.22. Let x = t - -1.8. Let s = -0.92 + -0.08. Which is smaller: s or x?
s
Let i(o) = 2*o**2 - o + 6. Let l be i(-6). Let y be 7*(-8)/l*-3. Suppose 12*p - 15 - 33 = 0. Which is smaller: y or p?
y
Suppose 7*i = i + 12. Let o(l) = l - 6. Let h be o(8). Let b = h + 0. Is b at least as big as i?
True
Suppose 30 = -n + 9. Let q = n + 169/8. Which is smaller: -1/4 or q?
-1/4
Let n = 1573 - 1580.07. Let l = 25 - 32. Let k = n - l. Which is smaller: k or -1/2?
-1/2
Let y(l) = l**3 + 18*l**2 - 19*l + 34. Let c be y(-19). Which is bigger: c or 46?
46
Let g = -53 - -32. Let y = g + 44. Let w = 22 - y. Which is greater: 0.5 or w?
0.5
Let y = -805 - -803. Which is greater: -18 or y?
y
Let r = 525 - 549. Let s = 16 + 21. Let b = r + s. Is b at most 11?
False
Let w = 2221/1855 + 1/371. Let f = 0.1 - 0. Is f less than w?
True
Suppose -15 = -4*a - 7. Let p be -1 + 9 - (a + -1). Let l = p + -6. Which is smaller: l or 2?
l
Let j = 32.6 + -32.7. Which is smaller: -0.07 or j?
j
Let j = -0.81 - -0.81. Let g = -0.17 + j. Let y = 13 + -53/4. Is g <= y?
False
Let p = 279189 - 21497169/77. Let o = -58/11 + p. Is 141 < o?
False
Let n = 179349/1610 - 557/5. Is n smaller than 1?
True
Let a(t) = -t**2 + 9*t + 16. Let k be a(8). Suppose 2*x + 30 = -7*g + 3*g, -3*g - 2*x - k = 0. Which is bigger: 0 or g?
0
Let d be 4/12 - 314/(-3). Let u be ((-45)/(-12) - 4)*8/d. Which is smaller: u or -1?
-1
Let r = -634 + 667. Which is bigger: r or 1.2?
r
Let s(z) = z**2 - 10*z + 12. Let x be s(8). Let v be 0 + 9/(162/x). Is v >= 1?
False
Let s = -18 + 13. Suppose 3*t = m + 4*m - 31, -3*m - 2*t + 11 = 0. Suppose c - 2*c = -3, 2*c + 9 = -m*x. Which is smaller: s or x?
s
Let g = 23173/308 - -1429/44. Let k = 108 - g. Which is smaller: -2 or k?
-2
Let q = 3263/209 + -170/11. Let g be 9/(-4)*((-29)/9 + 3). Which is greater: q or g?
g
Let n = -610/13 + 81104/1729. Let u be -3 + -11 + 8 - (-7 + 1). Is n less than u?
True
Let n = -332 + 332. Is 2/427 > n?
True
Suppose -3*u + 32 = 5*p, -p + 3 = 5*u - 21. Suppose 4*r - 23 = v, 5*v = p*v - r - 8. Let l be 2 + (-40)/32 - (-102)/(-8). Is l less than v?
True
Let j be -4 - 3 - (-4)/2. Let f(n) = -2*n**3 + 14*n**2 - 4. Let h be f(7). Which is greater: h or j?
h
Let h = 0.231 - 0.131. Is h at least -152?
True
Suppose 0*s + 4*s = 24. Suppose 4*w = s*w - 8. Suppose 0 = -j + 3*v - 12, -w*j + 0*v = -2*v + 8. Which is bigger: j or 3?
3
Let n = 249 + 293. Is n != 543?
True
Let a(u) be the third derivative of 0 + 0*u**4 - 1/60*u**5 + 8/3*u**3 - 1/120*u**6 + 0*u - 6*u**2. Let j be a(0). Which is smaller: j or 15?
15
Let q(j) = 6*j + 5. Suppose -3*u - 2*u - 20 = 0. Let v be q(u). Let s = v + 19. Which is greater: 2/41 or s?
2/41
Suppose -168 = -3*c - 3*y, 3*c = 4*y + 91 + 84. Do c and 62 have different values?
True
Suppose z = 5*o - 19, 3*z + 1 = -2*o - 5. Suppose -5*i - o*g = -69, i - g = -6*g + 5. Let f be (-12)/4*1/i. Which is bigger: 2/3 or f?
2/3
Let l = 0.06 - 25.06. Let j = l - -24.9. Let q = 0.2 + -0.2. Which is smaller: j or q?
j
Let s = -3 - -9. Let y(p) = -p**2 + 8*p - 8. Let f be y(s). Let w = f - 3. Which is bigger: w or -2/21?
w
Let y = -2 - -5. Let z be 45*(-2)/(-21) + 1 + -5. Which is smaller: z or y?
z
Let q = -13/41 + -360/287. Suppose -47 = 10*f - 27. Is f < q?
True
Let y = 11 - 14. Let l be (-1)/y - (-1224)/(-513) - -2. Which is smaller: l or -0.2?
-0.2
Let o = -54.9 - -56. Is 1/18 greater than o?
False
Let a = -99 + 102. Suppose 10 = -4*v - s, -4 = 12*v - 7*v - a*s. Which is greater: 0 or v?
0
Let n = -483 + 483.16. Let a = -12.133 + 0.293. Let b = a - n. Which is bigger: 0 or b?
0
Suppose -q + 4*i - 41 = 0, 4*q + 0*q + 164 = i. Let z = -31 - q. Suppose 0*c - c + z = 0. Which is bigger: c or 11?
11
Let h be ((-2)/(-6))/(1/(-3)). Let x be (0 - (h - 2)) + 2. Let g be x/(-10) + (-51)/18. Which is greater: 0.1 or g?
0.1
Let j be -3 + (4 - (0 + 0)). Let v be -3*j/5*-5. Suppose 0 = n + 7 - v. Are n and -5 non-equal?
True
Let q = 0.17 - 0.92. Let h = q + 0.75. Let p = 3 + -0.6. Are h and p equal?
False
Suppose -10445 = 21*o - 1100. Are o and -445 equal?
True
Let g = -4 - 1. Let d = -4.9 - g. Le