h greater than or equal to 5?
True
Let x be (10/4)/(3/(-6)). Let n be 16*x*1/(-10). Is n >= 9?
False
Suppose 21 - 5 = 4*i. Suppose 13 = -9*c + i. Which is greater: c or 3/20?
3/20
Let z = 779 - 801. Do z and -27 have different values?
True
Let c(h) = -4*h**2 - 3*h - 1. Let r be c(-2). Let q(l) = -2*l - 1. Let b be q(-2). Suppose 0 = y - 2*t + 21, 4*y + b*t - 8*t = -69. Is y < r?
False
Let i be 8/236*((-18)/(-27) + -1). Is 0.2 at most i?
False
Let c be 2/(-8) - ((-1287)/(-108) - 1). Is -12 >= c?
False
Let v = 1125.1 - 1077. Let x = v - 42. Let z = x - 7. Which is greater: z or 1/3?
1/3
Let o(a) = 39*a + 5. Let x be o(5). Let f be (-2 - -1) + (-690)/x. Let r = f + 21/5. Is 1 greater than r?
True
Let a(m) = 15 + m - 13 + 0*m - 2*m**2. Let x be a(-2). Which is bigger: x or -10?
x
Suppose 0 = 3*a - 0*a - 60. Suppose 3*s + 0*g = -g + 29, -2*s = g - a. Let q be ((-15)/(-6) - 3)*-20. Are q and s equal?
False
Let n be ((-4)/(-14))/((-1)/(-7)). Which is smaller: n or 166?
n
Suppose -95*h = -90*h. Is h at most as big as 5/32?
True
Let o = -374 + 191. Which is bigger: o or -184?
o
Let j = -730 + 46719/64. Let i(t) = t + 2. Let u be i(-2). Which is bigger: u or j?
u
Let w be (-16)/72 - (-92)/9. Let c = -12 + 54. Suppose 4*u - 3*j - 67 = -22, -3*u + 5*j = -c. Which is greater: u or w?
w
Let p(v) = 3*v**2 - 5*v - 47. Let u be p(-8). Are 185 and u nonequal?
False
Let c = 345.1 - 356. Is -2 less than c?
False
Let u(j) be the third derivative of j**4/12 + 2*j**2. Let w be u(-7). Let y = 4 + w. Is -11 > y?
False
Let x be (308/(-80) - -3)/((-6)/255). Suppose -3*i = -8*i - 180. Let s = x + i. Is s != 0?
True
Let n = 12.9 + -14. Let x = n - -1.42. Let q = 3.32 - x. Are q and -0.05 non-equal?
True
Let c(f) = f**2 + 13*f + 16. Let k be c(-12). Let r be 142/104 - (k - 3). Let h = -5/13 - r. Which is greater: -1/4 or h?
-1/4
Let k = -30/37 + 538/481. Let d = 7 + -6. Is k less than or equal to d?
True
Let c = -0.284 - -0.328. Is c < -1/3?
False
Suppose -81 = 2*i + 1. Let n = 42 + i. Is n not equal to 1/47?
True
Let n = 184 + -203. Let m = -0.2 + 19.2. Let s = m + n. Which is bigger: s or -0.7?
s
Suppose -180 = -21*r + 16*r. Let c = -37 + r. Which is bigger: -4 or c?
c
Let s = 0.1364 + -30.0364. Is s bigger than 0?
False
Let k = 12455/8 - 1560. Let o = k + 131/40. Let n(w) = w + 1. Let x be n(-1). Is o != x?
True
Let g = -991 + 991.03. Which is smaller: -38 or g?
-38
Let j = 129.6 - 141. Let c = -1.6 + j. Let y = 0.5 - 0.4. Is y at most as big as c?
False
Let q = 13.93 - 13.9. Do q and -11 have the same value?
False
Let j = -1.7 + 11.7. Let o = 14 - j. Let n = 1.07 + -0.07. Is o at least as big as n?
True
Let b(m) = -8*m - 31. Let p be b(-4). Let f = -128/75 + 1/25. Which is bigger: p or f?
p
Suppose -y + 5*y = -16. Let z = -7 - -6. Let x = -4 + z. Does x = y?
False
Let s be 0 + (-17 - (-1 + 0)). Suppose 0 = -3*a + a. Suppose 0 = 5*t - a*t + 75. Which is greater: t or s?
t
Let p(j) = j**2 - 2*j + 1. Let q be p(-4). Let f = 20 - q. Is 1 at most as big as f?
False
Let j = 62359/114 + -547. Is 1 at most as big as j?
False
Let j(n) = 11*n**2 + n. Let s be j(-1). Let m = s + -15. Let k(g) = g**3 + 5*g**2 + g + 6. Let y be k(m). Which is smaller: y or -2/61?
-2/61
Let v be (-161)/(-92)*(-1)/(-7). Is v at most -1?
False
Let f be (-1 - 1 - 4)/2. Let w be f - (-1)/((-3)/(-9)). Suppose -3*g + 5*g - u = w, -g + 5*u = -9. Do -2/15 and g have the same value?
False
Suppose 5 = 5*a - i - 1, i = -1. Let l = 1/37038909 + 34853608847/167489946498. Let x = -2/323 - l. Is a greater than or equal to x?
True
Let q(s) = -s - 34. Let v be q(0). Let y = v + 30. Is -6 smaller than y?
True
Suppose -5*g - 29*t = -33*t, 4*g = 3*t. Are 1/111 and g equal?
False
Suppose 3*l + 8 = 4*l + 2*m, 4*m + 68 = 4*l. Let h = -44 - -55. Which is greater: h or l?
l
Suppose 2*a = p - 11, a + p + 2*p = 5. Let v be (-114)/(-27) - a/(-18). Let z be 2/v*(-10)/15. Is 0 <= z?
False
Let f be ((-1)/3)/(4/((-144)/20)). Let q(p) = -p**2 - 6*p. Let z be q(-6). Which is smaller: z or f?
z
Suppose 6*s - 1274 = -5588. Let r = 30915/43 + s. Which is smaller: r or 1?
r
Let d be ((-22)/(-6))/((-2)/(-3)). Let r = 23 + -3. Suppose -n - r = -5*n. Do d and n have the same value?
False
Let h = 23 + -68. Let k = h - -43.6. Is -5 smaller than k?
True
Let r = 114 + -113. Is -28 equal to r?
False
Suppose -25 - 31 = -4*t. Suppose 0 = l + 5*v + 57, -4*l + 7*v - 8*v = 171. Let k = l + 57. Is t > k?
False
Suppose 0*v - 102 = 3*f + 3*v, -140 = 4*f + 5*v. Is f > -14?
False
Let a be ((-12)/9)/(18/(-2511)). Let n = 212 - a. Let y = 94 - 67. Which is smaller: n or y?
n
Let o = -0.7 + 0.702. Let n = -20.002 + o. Is n greater than -1?
False
Suppose -3*j = 2*j - 5. Suppose 5*h + 22 = 2*s, 2*h + 0*s - 5*s + 13 = 0. Let l be (h/(-5))/2*j. Is l less than 4/3?
True
Let r(o) = -o**3 - 7*o**2 - 6*o + 2. Let b be r(-6). Suppose -3*q = b*q + 5. Let u be 633/213 - 1 - 2. Are q and u equal?
False
Let z(c) = -c**3 + 40*c**2 - 38*c - 37. Let m be z(39). Which is smaller: 55 or m?
m
Let k = 9 + -8.67. Let j = k - 0.15. Let r = j - 0.18. Is r <= -0.1?
False
Suppose -2*i + 11 = -i - j, -5*i = -3*j - 49. Let a be 2/i*(-504)/35. Suppose -3 = -3*s + c - 11, -s = -5*c - 16. Which is smaller: s or a?
s
Let q = 1.31 + -1.35. Is 0.1 bigger than q?
True
Let v = -87055/37 + 2353. Is 1 bigger than v?
True
Suppose -115 - 212 = -3*u. Suppose -5*w = 114 - 654. Is w not equal to u?
True
Let a = 23 + -21. Let w = -4.02 - -0.02. Let r = w - a. Is -2 greater than r?
True
Let h be (16/(-20))/(-21*(-2)/90). Suppose 9 = -0*x - 3*x. Is x greater than h?
False
Suppose 0*r + 24 = -r. Let w = -213332/11 - -19370. Let u = r - w. Is 1 greater than u?
True
Let b be 1/(-6) - 71/6. Let p be b/(-15) - (-38)/(-35). Is p >= 2/3?
False
Let w(p) = -p + 2. Let y = 1 + 7. Let u be w(y). Let r = -5 - u. Do r and -2/11 have the same value?
False
Suppose 3*m + 5 = -a + 14, 5*a + 7 = -2*m. Suppose -m*o + 35 = 2*g + 5, -4*o = -2*g - 50. Let u be ((-30)/(-8))/((-3)/(-8)). Is o at least u?
True
Let g = 16 - 29. Suppose -5*h + 59*h + 54 = 0. Which is greater: h or g?
h
Let w = -801 - -791. Which is smaller: w or -28?
-28
Let s be (-7)/(-672)*-1250 - -13. Let q be 2 - 0 - (1 + 0). Which is greater: q or s?
q
Let l = -415.91 - -390. Let u = -26 - l. Which is smaller: u or -1/5?
-1/5
Let b be 11/22*8/(-82). Let p = 94 - 94. Which is bigger: b or p?
p
Let m be -4 + (-24)/4 - 2. Let o be 0/(-3 - m/3). Is o greater than -12/11?
True
Let r = -642 + 2551/4. Let g be 6/(-24) - (-18)/8. Suppose 4*p - 5*p - g*i + 1 = 0, 3*p = -3*i - 6. Is p bigger than r?
False
Let g = -5726/2133 + 80/27. Which is smaller: 0 or g?
0
Let w(t) = t**2 - 10*t - 115. Let k be w(-17). Is 342 at most k?
True
Suppose -5*z + 0*p = -4*p + 22, 0 = -3*z + 4*p - 10. Let w be (-2)/(z/(-1))*1. Suppose 0 = -3*f - 4*j + 15, 1 = -3*f - 3*j + 13. Which is bigger: f or w?
f
Suppose 0 = -4*j + 4*p - 44, -4*j + 5*p = 17 + 32. Let y be -2 + 2 + j/75*-5. Is y <= -0.07?
False
Let x = 38 - 34. Suppose 0 = -x*n - 5*v - 32, 3*n = -2*v + v - 24. Which is bigger: -7 or n?
-7
Suppose -3*v + 3*q + 18 = 0, 10 + 6 = -4*q. Suppose 5*d = -v*d + 168. Is d bigger than 24?
False
Let w be -1 + ((-4)/(-8))/(55890/110296). Let y = w + -1/243. Is y smaller than -1?
False
Let w = -0.03 + -0.97. Let g = 31.3 + -29. Let p = -0.7 - g. Is w at least p?
True
Suppose -16*a = -13*a + 195. Let k = 98 + a. Do k and 67/2 have the same value?
False
Suppose -22*u - 390 = 4*u. Is u <= -17?
False
Let x = 5737/4716 + 3/524. Is x greater than or equal to 1?
True
Suppose -5*g + 10*g = 10. Suppose 4*p = -2*j + 2*p + 22, -g*p = -2*j + 2. Which is greater: 5 or j?
j
Suppose 4*w + 3*h + 4 = 23, 2*h - 2 = 0. Suppose b = 3*j - b + 10, -4*b - 20 = w*j. Let u = 28 - 31. Which is smaller: u or j?
j
Suppose -12*x = -16 - 44. Suppose -2*u = x*u - 126. Which is smaller: u or 19?
u
Suppose 0 = -3*h - 3*f + 3, -29*h - 5*f + 5 = -28*h. Is -3/20 > h?
False
Let z = 323 - 255. Is z at most -2/11?
False
Let i be (-34)/(-14) + 16/28. Suppose -161 = i*k + 5*j, 5*k + 129 = 5*j - 126. Let o = 209/4 + k. Are o and 2/53 unequal?
True
Suppose 0 = -6*s + 61 + 23. Let z be (-10)/s*(-18)/(-45). Let b be -1 + (6/(-3) - -4). Is b at least z?
True
Let m = 3/20 - 31/140. Let g = 115/42 + m. Which is smaller: 4 or g?
g
Let w =