.7 + c. Does q = m?
False
Suppose -z + 13 = -3*s, 3*z - 6 = 6. Let k(h) = h**3 + 2*h**2 + 4*h + 19. Let n be k(s). Which is smaller: n or -1?
n
Let u = -255819/29 + 8823. Suppose 0 = -y + 3*b - 5, 4*y + 63*b - 67*b = -4. Is y greater than or equal to u?
False
Let z = -29.112 + 0.112. Let p = 27 - 18. Let k = 9 - p. Which is greater: k or z?
k
Let z(q) = 2*q**2 + 57*q - 229. Let j be z(21). Which is greater: j or 1852?
1852
Let d = 492.6 + -748. Let w = d + 256. Is w != 0.2?
True
Let d = 1 - 0. Let w = 860803/11 - 78253. Which is smaller: w or d?
d
Let j = -21.07 - -16.07. Is j >= 16.6?
False
Suppose -w - 21 = 5*u, -4 = -5*w + 4*u + 7. Let o be (3/(-1290))/(w/4). Suppose n - 4*t = -4 - 9, n = t - 4. Is n less than o?
True
Suppose -5*y - 1543 + 463 = 0. Let w be (-12)/(-15) + y/20. Let p be w*(5/(-2) + 2). Is p at most as big as 7?
True
Let a = -44789 + 44805. Is 497/34 >= a?
False
Let y(c) = -c**3 + 43*c**2 - 150*c + 106. Let g be y(37). Is 13854/5 greater than or equal to g?
True
Let d be (6/(-10))/(-3 - -4). Let h be (-2*1)/((-35)/70). Suppose 4 = 8*l + h. Is l at least d?
True
Let k = 5219 + -8465. Are -3249 and k unequal?
True
Suppose -6*g = -5*g - 0*g + 1. Is g > 2/7589?
False
Let v = -391 - -389. Let q be (-10)/(-5) + (-353)/20. Let a = q + 72/5. Are v and a equal?
False
Let m = 123.3 - 36.9. Is 0.1 > m?
False
Let n = 154 - 152. Let q be n*(3/2 + -3). Which is smaller: -25/7 or q?
-25/7
Let b(l) = l**3 + 34*l**2 - 445*l - 171. Let g be b(-44). Which is smaller: g or -121?
-121
Let v be (-21)/(-7) - -254*(-3)/(-2). Is v greater than 385?
False
Let i be (30/45)/((-1)/(-12)). Let l be -4 - -2*2/i*34. Suppose 7 = -l*x + 33. Which is smaller: -22 or x?
-22
Let s(m) = m**2 - 5*m - 7. Let k be s(6). Let o be (57/(-9) + 0)/((-15)/225). Let x be ((-4)/75)/((-38)/o). Which is smaller: k or x?
k
Suppose -12*s = -144 - 504. Suppose 3*p - 3*w + 33 + 3 = 0, -5*p + 2*w - s = 0. Which is greater: -11 or p?
p
Let s = 0.05 + -0.05. Let c = 0.83 - -46.17. Let a = c + 17. Which is smaller: s or a?
s
Suppose 7*o - 4*o - 95 = 5*x, -x = 3*o + 1. Let k = -13 - x. Suppose -2*t - 13 = k*r - 40, -5*t + 5*r + 130 = 0. Does 23 = t?
False
Let h = -23 - -17. Let j = h + 5. Let k be 2/36*(-21)/7. Is k at most j?
False
Let c = -53/133 - -13/19. Are -308 and c nonequal?
True
Let r be -7 + (-3)/(7/168*8). Is r >= -29?
True
Suppose -4258 - 3650 = 48*m - 46*m. Is m at most as big as -3953?
True
Suppose -3 - 2 = -3*n + 2*d, -14 = -2*n + 4*d. Let l(g) = 100*g**2 - 2*g + 1. Let r be l(n). Is 103 <= r?
True
Let s = 1509 - 1416. Let w(f) = f**3 + 3*f**2 - 5*f + 1. Let y be w(4). Is y < s?
False
Let o = 82.46 + -81. Let d = -1.66 + o. Which is bigger: 1.4 or d?
1.4
Let y(x) = 9*x**2 + 15*x - 17. Let u be y(7). Suppose -5*z - 554 = -g, -5*g + 2101 = -g + 3*z. Is u > g?
False
Let s be -2 + (2 - (2 - 3)/(-1)). Which is bigger: -10/269 or s?
-10/269
Let j = -13472 + 13473. Which is greater: j or -17/254?
j
Let p = 107 + -108.01. Let u = -17.01 - p. Let i = -142 + 708/5. Which is smaller: u or i?
u
Let s be -6*8/(-6)*(-5)/20. Let u be 4 + 68/(-20) + s. Is 0 greater than or equal to u?
True
Suppose 2147*m = 2151*m. Are -6/269 and m unequal?
True
Suppose 4*f - 4*v = -0*v - 20, -5 = 4*f - v. Let j be 1229408/(-550740) + 2 + (-4)/(-20). Let q = j - -1/411. Is f bigger than q?
True
Let k = -164941 - -164941. Let r be 28/(-16) + 2*1. Let o = -87/28 + r. Which is smaller: k or o?
o
Let i = -67.831 - -34.831. Which is smaller: -15 or i?
i
Let i be -2 - 9/(-4) - (-7624)/(-32). Which is bigger: i or -241?
i
Let z(x) = 4*x - 101. Let o(t) = -2*t**2 - 19*t - 17. Let g be o(-7). Let s be z(g). Which is smaller: s or -32?
-32
Let m = -210.99 + 211.17. Let z = -3.2 - -2. Which is smaller: m or z?
z
Let f = -6/1751 + -87532/5253. Which is bigger: -9 or f?
-9
Let i(u) = -12*u - 20. Let f be i(-16). Suppose -6*m - f = 5*a - 2*m, -78 = 2*a - 3*m. Let g be (-2)/(0 + 4/70). Which is smaller: g or a?
a
Suppose -1750*b + 62 = -1781*b. Are b and -695 non-equal?
True
Let k be (-3 + 5)*((-6112)/(-28) + 12/(-42)). Is 432 > k?
False
Let z be 14/112 + (-3742)/16240. Let d = -2/1015 - z. Does d = -1?
False
Suppose -22 - 24 = -23*l. Suppose 2*i - i - l = 0. Is i < 39?
True
Let t(w) = 50*w**2 + 793*w + 54. Let o be t(-16). Which is smaller: 177 or o?
o
Let z = -98 - -179. Let y = 87 - z. Let u be ((-4)/(-6))/(y + (-16)/3). Is 9/5 at most u?
False
Suppose 0 = -4*n, 0 = s + 5*n - 1. Let b = 342586/25 - 13702. Which is bigger: s or b?
b
Let p be 0/(((-9)/2 + 5)*-2). Let v be (2/(-14))/(60/(-14)). Is v at least p?
True
Let q = -133.041 - -133. Let b = 0.241 + q. Which is bigger: -9 or b?
b
Let g be (-2)/(-16) + 921/(-8)*1. Let w = -116 - g. Suppose 9 = 3*n - 3. Is n smaller than w?
False
Let l be (7 - (1 + 0))/3 + (-153 - 0). Is l at least as big as -145?
False
Let p be 11/110*-5 - 306*(-53)/20. Which is greater: p or 811?
811
Let y be ((-2)/5)/(1 - 24/20). Suppose -x = -y*x + 2*x. Do x and 3/5 have the same value?
False
Let v(n) = 10*n + 56. Let y be v(-4). Let w be (-4000)/(-165) - y/12. Is w at least 24?
False
Let a = 2823 - 2824. Which is smaller: -10/231 or a?
a
Let t = -181 + 217. Suppose -14*f + t = -160. Which is smaller: 10 or f?
10
Let t(k) = -k**2 + 21*k + 21. Let z be t(22). Let h be ((z - -7) + (-54)/18)/3. Which is smaller: -1/48 or h?
-1/48
Let f be 484/6 + 70/(-105). Suppose 0*w = -w + 4*r + f, w - r - 71 = 0. Which is bigger: 69 or w?
69
Suppose 3*o + 5 = 5*h, 2*h - 3*o + 4 = 6*h. Is h at least 6/1253?
True
Let v be -1058*(-2)/40 + 23/230. Suppose -v*i + 72*i = 95. Let t = 29/5 - 13/10. Is i <= t?
False
Let u be (1/(-5))/((817/(-76))/(-43)). Is -0.22 greater than u?
True
Let v be (4 + -18 + 4)*(-3 + 17 + 1). Which is greater: v or 1.8?
1.8
Let p = 53025617/358584 + -1/44823. Is p greater than 149?
False
Suppose 8*j - 5602 - 1824 = 55*j. Which is smaller: -169 or j?
-169
Suppose 4*b + 18 = 3*h - 0*h, -2*b - 8 = -h. Suppose h*o - f = 28, -2*o = o + 5*f - 16. Is 12 <= o?
True
Let x = 30 + -18. Suppose 463*m - 286*m = 1239. Which is bigger: x or m?
x
Let u be (-5)/(-2) + (-27)/18 + 1. Suppose 998 = -2*j + 3*c, u*j = 3*j - 4*c + 509. Is -493 > j?
False
Let f(a) = -30*a**2 + 168*a + 13. Let o be f(9). Which is smaller: o or -906?
-906
Let z = 70 + -488. Which is bigger: -421 or z?
z
Suppose -11*v + 6*v = -2*a, -2*v + 3*a = 0. Suppose 5*s - 5*j - 15 = v, 4*s + 8*j - 18 = 6*j. Let p be (-34)/(-6) - 2/3. Is s <= p?
True
Let a be (-90)/24*32/(-3). Let u = a - 40. Let c be (-14)/(-78) + 1 + (-24)/18. Is u <= c?
False
Let s(j) = -4*j**2 + 15*j + 3. Let o be (12/3)/(35/35). Let g be s(o). Are -32/21 and g equal?
False
Let r be 0 + 55/10 - (-5)/(-10). Let z = 469 - 7913/17. Which is smaller: z or r?
z
Suppose 4*m - 28560 = -4*n - 4272, 2*n = 2*m + 12136. Suppose -19*q + 17109 = n. Which is smaller: q or 580?
580
Let s = -11679 + 11679. Which is smaller: 4683 or s?
s
Suppose -22 = -4*k - 234. Let y = k + 98. Let g = 260/11 + -531/22. Which is greater: y or g?
y
Let b = -28 + 40. Let m be (5/24)/(6/b + -1). Let r be (-14)/18 + 6/(-27). Which is smaller: m or r?
r
Let c = 0.6704 + -1.0704. Is -94 at least c?
False
Suppose -32 = -2*p - 26. Let k be (p/6)/((-3)/300*-2). Is 25 equal to k?
True
Let w be 104/(-168) - (9 - 140/15). Which is smaller: -400 or w?
-400
Let b(a) = a**3 + a**2 - a + 1. Let i be b(1). Let x(r) = 5*r + 169. Let z be x(-33). Suppose -o - 1 = z*f - f, i*o = 3*f + 34. Which is smaller: 10 or o?
10
Let g be -8*(-1 + ((-108)/(-144))/(21/23)). Which is greater: -0.31 or g?
g
Suppose -47697 + 14367 = 30*t. Which is bigger: t or -1118?
t
Let i be (-4136)/(-420) + -3 - (-1 + 8 - 0). Which is greater: i or 0?
0
Suppose m - j = 7 + 9, -5*m + 40 = 5*j. Let v be 32 + (23 - 3355/77). Is v greater than or equal to m?
False
Let p = 1070 + -1082. Let u = -0.6 + 4.6. Let i = 2 - u. Is p >= i?
False
Let v = -36.5 + 68.62. Let m = v - 32. Let d = m - -0.08. Which is bigger: d or -4?
d
Let j be 3/1*(-2)/(-3). Suppose -2*x = j*x + 80. Let m be (4/x)/((-24)/(-10)). Which is smaller: 1 or m?
m
Let a = 1611.1 - 1745. Let b = -134 - a. Which is smaller: b or -5?
-5
Let c(o) = o**2 - 9*o + 21. Let s be c(7). Let f = 273 - 291. Which is bigger: f or s?
s
Let v be 4/(-18) + (-260)/(-36). Let z be 42/(-8)*v + -2. Let m = z + 