unequal?
True
Let k = -26.01 + 26.2. Is k at least as big as 0?
True
Let p be 5/30*(-21)/(-34). Is p <= 1?
True
Let c(u) = 4*u + 6. Let h be c(-12). Let g be 1/(-1 + (1 - -4 - 3)). Which is smaller: g or h?
h
Suppose 10*u - 2*u = 224. Let a be (2 + 0)*1 - (-5 + u). Is -21 equal to a?
True
Suppose -m - 9 = -8. Let p = 3 + m. Let y = p - -2. Which is smaller: y or 2?
2
Let d = 12330 - 382308/31. Is -4 at least d?
False
Let x = 141 + -92. Let u = x - 23. Let i = 31 - u. Do 5 and i have different values?
False
Let r be (7/(-1) + 726/99)*309. Is r != 109?
True
Suppose 0 = 8*z - 13*z + 505. Which is smaller: z or 102?
z
Let c = -44 + 134/3. Is c smaller than -5?
False
Suppose 3*a = 8 - 2. Suppose -4*o - 54 = -a*o. Let r = -242/9 - o. Which is bigger: 1 or r?
1
Suppose 400*s + 1 = 401*s. Which is bigger: 2/5 or s?
s
Let d = -584 + 582. Which is smaller: d or -19/10?
d
Suppose 9*g - 164 - 70 = 0. Which is greater: 25 or g?
g
Let v(h) = h**2 + 15*h - 180. Let l be v(-23). Let n(g) = g**2 + 7*g + 3. Suppose -5*m = 4*y + 47, 0 = -2*m + y + 3*y - 2. Let s be n(m). Are l and s equal?
False
Suppose 0 = m + 3, -t - m = -3*m - 2. Let n be ((-2)/t)/(21/9). Are -1 and n non-equal?
True
Let v be ((-103)/515)/(((-52)/(-290))/(-1)). Is v at least as big as 2?
False
Let m be (-80)/(-360) - (0 + (-11)/(-9)). Which is smaller: 1228 or m?
m
Suppose -4*d + 49 = -63. Suppose 4*x + d = -4*g, -5*g + x = -4*g - 3. Are -2 and g non-equal?
False
Let b(z) = -z**2 - z. Let v be b(-1). Suppose 4*f + 3 + 1 = v. Let a = 9 + -9. Which is bigger: f or a?
a
Let w be (-140)/15*198/4. Let r be (-8)/14 - 96/w. Which is bigger: -1 or r?
r
Let o be 128/(-14) - (-70)/(-245) - 4. Which is bigger: -13 or o?
-13
Let p = -1.1 + 1.2. Which is smaller: -213 or p?
-213
Let i be (-4554)/(-1127) + 0/2 + -4. Let a = -23 - -25. Is i > a?
False
Let m be (-201)/(-30) + 20/(-25). Let k = m + -11/2. Is k greater than or equal to -2.3?
True
Let w = -5/149 - 1619/596. Let i be (-4)/(-5) - (-28)/(-10). Do w and i have different values?
True
Let b be (-3840)/(-824) + -4 - (-4)/(-6). Which is bigger: b or -1?
b
Let p be (32/10)/(2*1/(-10)). Let b = 6 + p. Is -10 bigger than b?
False
Let s = -276 + 2485/9. Is s < -3/2?
False
Let i be -1 + ((-2888157)/(-1079298) - 2). Let r = i - -29/1817. Let h = r - 1/18. Do h and 0 have different values?
True
Let i = 53 + -62. Let d(k) = -k**2 + 12. Let w be d(0). Let p = i + w. Which is greater: 5 or p?
5
Let m = 0.165 + 0.045. Is m greater than or equal to 3?
False
Let w(q) = 37*q - 998. Let u be w(27). Which is greater: u or 25/79?
u
Let n be 0 + (-6)/(-10) - 1. Let w = -62.14 - -66.14. Is w smaller than n?
False
Let v = -14 - -5. Suppose 25 - 10 = 5*c. Suppose -1 = -g - c*n - 0, -g = 2*n + 2. Are g and v nonequal?
True
Suppose 2*i - 3*w - 56 = 0, -5*i + 118 = -5*w - 27. Let d = -30 + i. Is d <= -1?
False
Suppose 0 = -2*w + 3*w - 3. Let u be (3 + -2)/1 - w. Let m be u/8 - (-13)/26. Which is smaller: -1 or m?
-1
Suppose -t + 4*n = 6, 3*t + 0*n - 4*n = -50. Let c = t - -25. Let b(d) = -2*d**2 + 6*d - 5. Let m be b(c). Is -5 greater than m?
False
Let r(q) = 4*q**2 - 3*q - 3. Let j be r(-1). Suppose 3*d - 22 = -3*i + i, j*d - 26 = -i. Suppose -2*v + 2 = -6. Which is smaller: d or v?
v
Suppose 5*d - 7 = -2*d. Which is smaller: d or 27/4?
d
Let n = -587700/239 + 2459. Which is smaller: n or 0?
0
Let j = -415 + 341. Is j less than or equal to -3?
True
Let o = -3964/5 - -799. Suppose -415*f + 90*f + 1950 = 0. Which is smaller: f or o?
f
Let f = -844.1 + 850. Which is smaller: f or 0.1?
0.1
Let g be 2169/27 - (-1 - (-2)/6). Let y = 61 - g. Which is smaller: -18 or y?
y
Suppose 39*q - 415 = 34*q. Which is smaller: q or 411/5?
411/5
Let k = -1502 + 1500.675. Which is greater: k or 0?
0
Let c = -1.1 - -0.95. Let f = -3.3 + 3.25. Let n = f - c. Which is bigger: 0.4 or n?
0.4
Let l = -5 - -11. Let h be (2/(-3))/(l/9). Let m = -2170/9 + 240. Is m smaller than h?
True
Suppose 500 - 497 = -3*r. Is 1.73 >= r?
True
Let r(i) = i**3 - 66*i**2 - 136*i + 72. Let k be r(68). Is 74 not equal to k?
True
Let k be 4 - 2 - (2 + -6 - -34). Is -26 equal to k?
False
Suppose -8 + 2 = -3*o. Let n be -3 - (-1*4)/(6/9). Is n bigger than o?
True
Let h = -309 - -233. Which is smaller: h or -384/5?
-384/5
Suppose -279 = -0*q - 9*q. Let g(n) = 8*n + 6. Let v be g(3). Is q < v?
False
Let a = -8179/17 + 481. Which is smaller: 5 or a?
a
Suppose i - 8 + 2 = 0. Suppose -6*p = -0*p + i. Let f = -134/3 + 45. Which is smaller: f or p?
p
Let d = -3257/7 + 465. Suppose -1 = -4*y - 13. Let j = y - -3. Which is greater: d or j?
j
Let h be 9/(-6) - (-119988)/74936. Let l be 3/(-2)*12/(-4437). Let b = l + h. Do b and 0 have different values?
True
Let g(t) = 3*t**3 - 18*t**2 + 5*t - 6. Let r be g(5). Is -167/3 less than or equal to r?
False
Let u be 7/5 + -2 + (-1088)/85. Is -14 greater than u?
False
Suppose -2*u = -18 - 8. Suppose u = -3*d + 2*f, -d = -4*d - 2*f + 7. Which is bigger: 0 or d?
0
Let h = -51.06 - -51. Let r = -0.24 + h. Is r greater than or equal to 2/11?
False
Let c = -22 - 51. Let h = 72.3 + c. Which is smaller: 0.4 or h?
h
Let q = -27 + 26. Let b be 0/(0 + -3)*1. Let a = b - q. Which is smaller: 1/16 or a?
1/16
Let p be (-1 - 284/(-292))*1/(-3). Is p <= 0?
False
Let b be (2 - 5)/((-6)/4). Suppose -3*w - 14 = -b*x - 0, 4*x - 16 = 3*w. Let v be 1 + (-1)/((-4)/(-5)). Which is greater: x or v?
x
Let t = 98 + -89. Suppose 20*l - 33 = t*l. Which is bigger: -0.2 or l?
l
Let p = -32 - -29. Let i be -17 + 9 + -1*2. Let k be -3*(i/4 - -3). Is p less than k?
True
Let b = 429 - 437. Is -1/5 smaller than b?
False
Let j(y) = 10*y**3 - 2*y + 2. Let s = -22 - -23. Let c be j(s). Suppose -d = 14 - c. Which is greater: d or 2?
2
Let n = 124670/11 - 11324. Which is bigger: 9 or n?
n
Let m = -0.834 - -0.784. Which is bigger: m or -34?
m
Let r = -36 - -14. Let i = -686 - -718.1. Let a = i + -32. Which is bigger: a or r?
a
Let m = -3.9 - -3.5. Is m > -1/18?
False
Let p be (-9)/(-15) + 1 + 242/5. Let a be (-3)/22*(-2 - p/(-15)). Let t be 1 + -2*(-2)/(-5). Is a less than t?
True
Let m be ((-264)/(-10))/((-264)/80 - -3). Which is greater: m or -1?
-1
Let j = -453 - -453.075. Which is bigger: j or 0.06?
j
Let q be (-1 - -3)*(-34)/4. Let y = 21 + q. Suppose -9 = 5*x - y*x. Is -9 at least as big as x?
True
Let g(u) = 13*u - 38. Let t be g(5). Let j = -142/5 + t. Is 0.02 greater than j?
True
Let q be 6/(-9)*(-13)/14. Is 0 != q?
True
Let y = 2.6 - 2.6. Which is bigger: y or -2.14?
y
Let a = 0 - -4. Let j = 712/165 - -1/55. Is a less than or equal to j?
True
Suppose -75*h = -80*h - 20. Let v be 2/h*(-60 + 12). Which is smaller: v or 23?
23
Let u = 29 - 29. Suppose 0 = 4*i + 4*n - 4, n + 4 = -0*n. Suppose -4*c + q + i = 0, 0*c + 2 = 3*c + q. Which is greater: c or u?
c
Let a = 172 - 112. Suppose -724*n = -730*n + 360. Is n smaller than a?
False
Let q be (-1)/(-3)*(-54)/783. Is q greater than 1?
False
Let h = -182 - -198. Which is smaller: h or 6?
6
Suppose -o - 5*w + 10 = 0, -5*o + 4 = -3*w + 10. Let c be 1 - (-50)/(-46) - 0. Is o greater than c?
True
Let m(s) = 2*s - 228. Let h be m(-48). Which is bigger: h or -2?
-2
Suppose 4*h = 63 - 23. Let n be h/45 + 454/(-315). Let r = 9/7 + n. Which is bigger: r or 0.1?
0.1
Let t = -167 + 160. Which is smaller: t or -5?
t
Let i = -13459475/158658 - 2/26443. Let q = -85 - i. Let u = -2/3 - q. Which is smaller: -0.2 or u?
u
Suppose 4*w - 7*w - 2*j = 706, 0 = -5*w - j - 1172. Which is smaller: -237 or w?
-237
Let y = -286/57 + 3062/171. Which is smaller: y or 13?
y
Let i = 84 - 38. Is 46 != i?
False
Let d = 60 + -40. Suppose d = -2*h + 22. Let r = 289/63 + -22/9. Is h less than or equal to r?
True
Let c be (-99)/(-44)*(-16)/6. Let t = 12 + c. Suppose -2*w = -5*w + t. Are -1 and w equal?
False
Let w = -55 - -35. Let a be (2 + -1)/(1/13). Let s = w + a. Which is greater: s or -17/3?
-17/3
Let y = -161 - -98. Let u = 60 + y. Which is smaller: -6 or u?
-6
Let o = -59 + 77. Let v = o + -17.7. Are v and 5/4 unequal?
True
Suppose 2*h + 4 = 4*m + 2, -1 = m + h. Suppose -2*k + 5*k - 36 = m. Let l be -2*(-1 + k/9). Which is smaller: 2/25 or l?
l
Let i be 7/((-1960)/24)*(-2)/(-8). Are i and 1 equal?
False
Let r be (3 - -388)*(-20 + 19). Which is smaller: -394 or r?
-394
Let s = 5 - 3. Suppose -15 = 2*m - 5