han -4/13?
False
Let s = 0.99 - 2.33. Let a = 0.34 + s. Is a less than -25?
False
Let g be 4/(-26) - 492/(-156). Suppose -3*d = 4*x - 11, -25 = -8*d + g*d - 5*x. Suppose d = -w + 1. Are w and -9 non-equal?
True
Suppose 4*n + 346 - 122 = 0. Let s be ((-12)/n)/((-6)/8). Let x = 2 - 1.8. Which is greater: x or s?
x
Let d = -987 + 989. Which is bigger: d or -242?
d
Suppose 5*g + 21 = 81. Let r be -2 + 2 + 6/g. Is 1/10 >= r?
False
Let y = 0.0793 + -40.0793. Which is greater: y or -5?
-5
Let m be 3 - 27/9*27. Are m and -77 unequal?
True
Let o be 236/10 + 4 - (-4)/10. Let y = 47 - o. Suppose -3*c + 25 = -29. Is c >= y?
False
Let o = -209/259 + -23/37. Let y = 8 - 3. Suppose y*v - s + 9 = -0*s, -4*s + 16 = 0. Which is greater: v or o?
v
Suppose 36*b - 49 = -301. Is b less than 12?
True
Suppose j + 4*j = z - 105, 0 = 5*j - 5*z + 105. Suppose 4 = -19*w - 376. Which is greater: j or w?
w
Let h = 31 + 12. Let q = h + -40. Let x be 528/28 - q/(-21). Is x at least 19?
True
Let d = -3276/11 - -65523/220. Which is smaller: 1 or d?
d
Let d be -4 + (-3)/(15/(-20)). Suppose d = -18*g + 22*g - 4. Is -3 < g?
True
Let s = 1055/6312 + -1/2104. Which is smaller: s or 52.1?
s
Let n = -6.74 + 6.74. Is -364 equal to n?
False
Let y = -2.55 - -2.63. Are 2/319 and y equal?
False
Let k = -141.718 + 0.218. Let v = k - -141. Is v <= 1.4?
True
Suppose -1 - 6 = 2*u + l, -2*l = -2*u - 16. Let m be (-3 - (u - -2)) + -2. Let o be 40/(-3) - m/6. Which is greater: o or -14?
o
Let s = 879.06 + -887. Which is smaller: -1 or s?
s
Let g(o) be the second derivative of -o**3/6 - 3*o**2/2 + 2*o. Let i be g(-3). Let z be (-44)/(-40) - 4/40. Is i bigger than z?
False
Let p = 0.2 + 2.8. Suppose 13 + 5 = -2*h. Let m(z) = -z**2 - 10*z - 11. Let d be m(h). Is d at least p?
False
Let r = 15017360/129 + -116413. Let c = 1/43 + r. Which is smaller: c or 0?
0
Suppose -15*j + 10*j = g - 8, -3*j + 14 = -4*g. Which is smaller: 1.38 or j?
1.38
Let g = 29535327/22603 - -48/3229. Let a = 1309 - g. Which is greater: a or 3?
3
Let w = 82 + -86.1. Let s = w + 4. Which is smaller: 0.3 or s?
s
Let x be 950*7/2226 + -3. Is x less than 0?
True
Let f = 383 + -690. Which is smaller: -1 or f?
f
Let l = 914 - 914. Which is bigger: l or -2/917?
l
Let m be (1 + 1)/(-44 - -1259). Which is smaller: m or 0?
0
Let h be (4 + 39)/(0 - -1). Let q be 2/(-9) - h/9. Let s be (-9 + 0)*(q - -6). Is s smaller than -8?
True
Let z = -36.2 + 31.1. Does z = -3?
False
Suppose 2*a - 23 = 1. Let j = -12 + a. Suppose j = -0*n + 5*n. Is -3/8 less than n?
True
Let n = -3053 + 3219. Which is greater: n or 163?
n
Let s be -11*(-4)/132*15. Which is smaller: 22 or s?
s
Let q = 0.25 + -17.25. Let s = -4.12 - -5.12. Is s at least as big as q?
True
Let q = 168.0125 - 168. Which is bigger: q or -2/7?
q
Suppose 28 = 2*w - 8. Let q = w - 34. Let t be (q/60)/((-6)/20). Is t < 2?
True
Let v = -26.82 + -1.78. Let s = v + 29. Which is smaller: s or 1/4?
1/4
Let v = -914.437 - -914. Is v bigger than -1/2?
True
Let a be (-2661)/(-12) + 5/20. Is 224 greater than a?
True
Let b = 91 - 100.6. Let m = -10 - b. Which is bigger: m or -1?
m
Let l(q) = 3*q**2 + q - 5. Let s be l(-3). Which is smaller: s or 20?
s
Let g be (-22)/(-66)*(0 + 399). Is g at least 134?
False
Let s = -103 - -89. Let u be -3 - 20/((-2)/(-1)). Which is bigger: u or s?
u
Let x be -1*6/4 + 38/(-304). Which is greater: x or -3?
x
Suppose 0 = 3*t + 4*c - 19, 2*t + 3*c + 4 - 16 = 0. Let k = 188 + -178. Is k greater than or equal to t?
True
Let u(h) = 3*h. Let b be u(-1). Suppose j = r + 1, -5*j - 31 = -0*j + 4*r. Is b greater than j?
False
Suppose -3*a - a + 28 = 0. Let h(q) = -q - 8 + q**2 + 0 - 3*q - q. Let u be h(a). Is -2 equal to u?
False
Let h = 2.2 + -0.5. Let c = h + -1.9. Which is greater: c or -3?
c
Let a(w) = w**2 + 8*w + 3. Let r be a(-9). Suppose 0 = -4*q + 2*f + r - 2, -2 = 4*q + 2*f. Which is bigger: q or 4/3?
4/3
Let n = 1087 + -1092. Is n at least as big as 52?
False
Let u = -727 + 2176/3. Let n(h) = -h**2 + 7*h - 9. Let t be n(6). Is u != t?
True
Let q = 0.58 - -2.42. Suppose 3*u - 5*s + 4*s - 29 = 0, -15 = -u - 5*s. Let b be (-2)/u*(-1 - 0). Is b greater than q?
False
Let p be (66 - 69)*2/(-30). Which is smaller: -10/3 or p?
-10/3
Let m = -693 - -576. Is -118 > m?
False
Let w = 137/65 - 30/13. Suppose -2*i - 10 = 0, x + 3*i + 19 = 2*x. Suppose m - 8 = -4*k, -x*m + 0 + 2 = k. Which is greater: w or m?
m
Let p = 1.758 + 0.572. Do p and -1/4 have the same value?
False
Let n = -14.35 + 14.2. Are -0.5 and n unequal?
True
Suppose m = -3*q - 15, 3*m = -2*q - 2*m - 23. Let a be ((-21)/(-6) - q)/(-87). Let z = a - -169/3306. Which is smaller: 1 or z?
z
Suppose 3*d = -0*d + 3. Suppose -2*n = 5*y - n + 4, -5*y - 5*n = 0. Let v be ((-8)/y)/1 + -1. Which is greater: v or d?
v
Let g = -538 + 48964/91. Which is smaller: g or 1/4?
g
Let v(j) = -8*j + 193. Let b be v(24). Which is smaller: b or 31/13?
b
Let b = -8 - 14. Let l be 6/15 + b/(-60)*-2. Which is greater: l or -4?
l
Let f(x) = -x**3 - 6*x**2 + 7. Let g be f(-6). Let i = 105 + -59. Suppose 4*u + 18 = i. Is g greater than u?
False
Suppose -4*a - 18 = -x + 4*x, 30 = -4*a + 3*x. Let r be (-18)/(-15)*40/a. Which is smaller: -1/2 or r?
r
Let j be 55/(-111) + 2/6. Suppose -4 = -g - 3*n, 7 = 4*g - 0*n + 3*n. Which is smaller: g or j?
j
Let d = -2192 + 24034/11. Is d less than or equal to -7?
True
Let t(a) = 7*a**2 - 2*a + 2. Let i be t(3). Is i >= -5?
True
Let r be (0 + 0)/(-1) - (-88)/220. Is 1.8 smaller than r?
False
Let q be -3 + (1 - -16) + -2. Let p be (q/(-1302))/(-1 + -2). Let o = p - 1592/217. Is o >= -8?
True
Suppose j = 2*j + 55. Let n = 26 + j. Is -30 equal to n?
False
Let z = 0.02 + -0.72. Let p = -0.65 - z. Let k = 0.05 - p. Is k greater than or equal to 1?
False
Let u = -7.1 - -382.1. Which is smaller: -0.2 or u?
-0.2
Suppose 2*f - 4*f + 6 = -4*l, f + 4*l = -3. Let h be -12*20/75 - -3. Which is smaller: h or f?
h
Let s = 149 + -182. Is s < -25?
True
Suppose 0 = 6*p - 21*p - 315. Are -23 and p nonequal?
True
Suppose -674 = -8*h - 210. Is h bigger than 61?
False
Let g = 42 - 38. Let a be 4/g + 21/(-15). Let m = -22/5 - -24/5. Which is greater: m or a?
m
Suppose 233 = 9*p + 224. Are p and 2/527 equal?
False
Let w = 10 - 9. Let j(v) = -2*v**2 + 7*v - 5. Let q be j(6). Let m be q/(-65) + -2 + w. Is -2/5 less than m?
False
Let v = -2377 - -2644. Does v = 261?
False
Let v(a) = -12*a. Let w be v(-6). Let h = 181 + -108. Which is greater: h or w?
h
Let g = 199.2 - 191.2. Is 18 < g?
False
Let x be (238/188 + (-99)/66)*1. Which is smaller: -1 or x?
-1
Let d(l) = -l**2 + 6*l + 6. Let s be d(7). Let k = 1849/83235 - 5/537. Let o = k + 763/930. Is s at most o?
True
Let c(h) = h**2 - 4. Let x be c(3). Let a be x*(-4)/(-12)*-2. Which is greater: a or -2/5?
-2/5
Let q be (-2 + 2)*(-1 - (-11)/22). Let a be 75/(-238) + (-6)/(-21). Is q less than a?
False
Suppose -3*r - 22 = -5*v, -2*v - 3 = 3*r + 5. Suppose 0 = -3*u - v - 25. Do -9 and u have the same value?
True
Let j be 2 - (1/(-1) - -176). Which is smaller: j or -172?
j
Let o be (5 + 1615/(-325))*-5. Suppose -3*c + 5 = 2*c. Are o and c unequal?
True
Suppose -p = -15 - 30. Which is greater: p or -1?
p
Suppose -r - 3*j + 4 = -4*j, 0 = 4*j + 16. Let w = -11/2 - -16/3. Is w greater than r?
False
Let r = 35 - 31. Let d = 2 - r. Is 1/6 less than or equal to d?
False
Let u = 990 + -18816/19. Is -2/3 bigger than u?
False
Let k = 20 - 28. Let j = k - -8. Is j less than 2/7?
True
Let q = 2322 + -44154/19. Is q smaller than -2?
False
Suppose 7 - 1 = g. Suppose 9*q = 8*q - g. Let a be (6/9)/(8/q). Is a at most -5?
False
Let u = 20 - 2. Suppose 0 = 7*r + 2 - 121. Suppose 6*g - 7*g = -r. Is g less than u?
True
Suppose 3*g + 5*q = 7*g - 11, 3*q - 3 = 0. Suppose -2*p = -2*c + 8, -g*c + p = -0*p - 4. Let w be (-5 - c)/(70/(-30)). Is w not equal to 3?
True
Let t be (1/3)/(14/210). Suppose -l - 468 = t*l. Let s be l/(-70) - (-4)/(-10). Is s <= 2?
True
Let k be (6/(-9))/((-5)/(60/(-8))). Let d = -144 + 3597/25. Is k != d?
True
Let f = -696.3 + 665. Let h = 31 + f. Which is smaller: h or -3?
-3
Let i(r) = -2*r**3 + 9*r**2 - 16*r + 169. Let f be i(7). Which is smaller: f or -185?
f
Let t be 3/(-5) - ((-14376)/10)/6. Which is greater: t or 240?
240
Suppose 0 = 11*f - 19 - 3. Suppose -f*d = 2*d - 4*n - 216, -5*d 