/411 or o?
-2/411
Let d = -2.25 + 32.65. Let b = -10.4 + d. Suppose 2*a + 1 = -1. Are a and b unequal?
True
Let j(u) = 1 - 563*u**2 + 564*u**2 + 9*u + 18. Let q be j(-6). Let m(s) = -s**2 - 3*s + 1. Let p be m(-3). Is p at most as big as q?
True
Let x(j) = -j**3 - 40*j**2 + 42*j + 42. Let g be x(-41). Is g less than or equal to -4/81?
False
Let o = 14 - 10. Let j be o/(-10) - 12/15. Let y be (-5)/(-4) + (-10)/40*13. Which is bigger: y or j?
j
Let v be (627/(-22))/((-9)/24). Let d be (8/80)/(v/(-32)). Which is greater: d or 1?
1
Let m be (10/(-132))/((-3)/30*(-2)/8). Is m > -2?
False
Let h = 10.38 - 9.549. Let p = h - -0.169. Is p < -24.2?
False
Let n be 2/((-16)/6)*(-12)/(-9). Suppose 0 = s - 27 + 8. Let i be s/19*n*(-1 - -13). Which is bigger: i or 0.1?
0.1
Let d(i) = -3*i**2 - 3*i. Let h be d(0). Let m = -60 - -136. Let x = m + -989/13. Which is bigger: h or x?
h
Let g be 4*(1 - 4/8). Let m = 5 - 0. Suppose 2*d - 36 = g*j - 8, m*j - 8 = -d. Which is bigger: 11 or d?
d
Let r = -3155/11 + 287. Let n = -3.59 - -0.57. Let t = n + 2.72. Is t less than r?
True
Let t be 6 + (1/129)/(312/(-241632)). Suppose -6*l + 4*l + 2 = 0. Which is smaller: t or l?
t
Suppose -2*t = t - 339. Let r = -2490 + 2605. Which is smaller: r or t?
t
Let x = 221 + -218. Let g(k) = k**3 - 2*k**2 - k - 78. Let v be g(0). Let r be 4/(-8)*(v/(-5))/(-3). Which is smaller: r or x?
r
Let g(h) = 17 - 8*h - 5*h + 4*h**2 + h**2 - h**3 + 10*h. Let x be g(5). Suppose -x*d - 3*b - 21 = 2*b, -3*d + 5*b = 69. Is 1 < d?
False
Let b be (-680)/(-115) + 4/46. Suppose b*p - 12 = 36. Is -13 <= p?
True
Let w be 32/(-320) - 2/(-20). Do w and -1023 have the same value?
False
Let q(l) = -l. Let r be q(1). Let v = -95481/65 - -1469. Are r and v nonequal?
True
Let r(i) = 675*i**2 + 54*i - 108. Let c be r(2). Is c greater than or equal to 2698?
True
Let x(v) = -145*v + 203. Let i(l) = l - 2. Let c(p) = 174*i(p) + x(p). Let d be c(5). Which is greater: -6/35 or d?
d
Let n = 68.1 + 167.9. Let l = n - 240. Which is smaller: -6/11 or l?
l
Let h = 0.0542 + -0.4542. Let a = -2.4 - -2.5. Is a at most as big as h?
False
Let m be 2/(6*(-35)/15) + (-4131)/(-7). Is m at most 591?
True
Let l = -46 + 50. Let p(k) = -l + 13 - 10*k - 15. Let j be p(2). Which is smaller: j or -27?
-27
Let u(v) = -124*v - 150. Let n be u(-1). Is n > 100?
False
Let d = 100 - 63. Suppose -5*k + d = 4*s, -2*s - 35 = -4*k - 7*s. Suppose k*g = g. Which is smaller: 1 or g?
g
Let t = -168 + 1174/7. Let m = -78 - -75.7. Let l = 6.3 + m. Which is greater: t or l?
l
Suppose 2068 = -26*a + 4*a. Let d be -56 - a - (6 - -1). Which is smaller: 39 or d?
d
Let m = 22670 + -22963.7. Which is smaller: m or 0.2?
m
Let l be (-21)/12 - -1 - (5 + -17)/144. Is l <= -689?
False
Let m be 17790/(-57) - 6/(-57). Which is bigger: -315 or m?
m
Let p(l) = 200*l - 12. Let i be p(-2). Let t be 22/5 + -4 - i/20. Let d be (-2)/7 + (-54)/t*3. Is -9 at most d?
True
Let b be 4/9 + 152693/387. Let a be b/(-10)*((16 - 6) + 2). Which is bigger: a or -473?
-473
Let r = -905064 - -107703331/119. Let h = r - 209/17. Which is bigger: -5 or h?
-5
Let g = 0.274 - 6.724. Let y = g + 3.45. Which is smaller: y or 68?
y
Let t be (-408)/14*98/(-28 - -14). Which is bigger: t or 4/7?
t
Let k = -3347/520 - -84/13. Suppose -93*n + 92*n - 2 = -3*d, -2*d + 2*n = -4. Is d > k?
False
Suppose -12906 + 0 = -54*n. Is 1683/7 at least as big as n?
True
Suppose -22 = -11*y + 22. Suppose 147 = y*u + 87. Are u and 41/3 non-equal?
True
Let o be -6 - (6 - 6) - 0. Let s be o/39 - 60/(-52). Which is bigger: -2/1993 or s?
s
Let h(z) = -2*z + 2. Let x be h(0). Suppose 2 = -2*b + x*t, -3*t + 7 = 3*b - t. Let m = 2119/6 + -352. Is b not equal to m?
True
Let b(f) = -5*f**2 - 17*f - 22. Suppose 0 = 3*c - 2*c + 2. Let x(h) = 6*h**2 + 16*h + 21. Let i(z) = c*x(z) - 3*b(z). Let v be i(-6). Does 18 = v?
True
Let y be (21/2)/((-3)/536). Let u be y/20 + (-8)/(-10). Let w = -66 - u. Is w bigger than 27?
False
Suppose 9 = 30*q - 39*q. Let p be (1 - 44/20)/(q/10). Is 115/9 >= p?
True
Suppose 91603 = 14*g + 13357. Which is bigger: g or 11175/2?
g
Let c(w) = -w**2 - 15*w + 59. Let h be c(-18). Suppose 2*r - r - 3 = 5*y, r = -3*y - h. Is 10/49 smaller than y?
False
Suppose 4*j + 0*v = v + 1, -3*j - 5*v = 28. Let b = -20 + 24. Let r be (-2 + b)/2*42. Which is smaller: j or r?
j
Suppose -4*n + 3*i + 16 - 5 = 0, n + i - 8 = 0. Suppose 3*h - 9 = n*g, -g = -4*g + 3*h - 9. Which is smaller: g or 2/359?
g
Suppose -93*n - 6 + 0 + 6 = 0. Is n at least 34/325?
False
Let k(d) be the first derivative of -2*d**2 + 38*d + 23. Let a be k(7). Suppose -3*n + 4*u = 68, -2*n + u + a = 52. Which is smaller: -21 or n?
-21
Let z(j) = -30*j - 7*j - 35 + 18*j**2 - 17*j**2. Let w be z(38). Which is smaller: w or -21?
-21
Suppose 34 - 44 = -2*l. Suppose -3*m = -5*f + f - 256, -l*m = 5*f + 320. Let y = f - -79. Which is smaller: 2/7 or y?
2/7
Suppose 2*t + 1 = -v + 24, t = 3*v + 1. Let n be ((-14640)/126)/t*33/(-2). Let a = -192 + n. Is a equal to 7?
False
Suppose 38*w - 35*w + f + 20 = 0, 3*f = w + 10. Let a(k) = -k**2 - 6*k + 1. Let s be a(w). Which is smaller: -7 or s?
-7
Let q be 8/14*123/6 - (-36)/(-252). Suppose 0 = v - 2*i - 14, 3*v + 4*i = 2*i + 34. Which is smaller: q or v?
q
Let g be -2 + (-3 - (-2385)/480). Is -0.09 > g?
False
Let b = 81 + -33. Let x = b + -7. Is x greater than or equal to 2/3?
True
Let r be 10/((-40)/(-7524)) - 14. Is r greater than 1864?
True
Suppose -15*p = -3*v - 13*p + 48, 39 = 2*v + p. Is v at least as big as 27?
False
Let i = -42.223 + 0.223. Let x = i + 43.1. Are 11 and x equal?
False
Suppose -17*i - 4 + 106 = 0. Suppose -4*n - i*b = -9*b - 2, 2*n = -b - 4. Is 2/217 at most n?
False
Suppose 3*u = -5*c - 48, -15 - 33 = 2*u - 2*c. Which is smaller: -117 or u?
-117
Let i(f) = -8*f**2 + 4*f - 3. Let j be i(3). Let q = 21070 + -21135. Which is greater: j or q?
j
Let p = 93.84 - 92.84. Is p not equal to 4375?
True
Suppose 630 = 8*c - 17*c. Let q be (-5)/(-2)*c/50. Are 0.3 and q equal?
False
Suppose 3*b + 729 = 3*q, 4*q + 10*b = 15*b + 974. Is -16 equal to q?
False
Let n be -3 + (2 - 1065/(-1059)). Let i = 106 - 105. Do n and i have the same value?
False
Let y = -9044 - -6869. Is y < -2174?
True
Let l be (1484/14840)/(2 + (-1532)/2). Which is bigger: l or 0?
0
Suppose 6*z = 5*z + 12. Suppose -24*v = -z*v - 8*v. Let a = 8411/32154 - 1/1398. Is v at least a?
False
Suppose -2*m = f + 3 - 15, f + 2 = 0. Suppose 40 = m*c - 114. Is c > 16?
True
Let u be (44 - 3)/(-4 - (3 + -143)). Let c = -3/17 + u. Which is smaller: 4/7 or c?
c
Let v be ((-645)/1075)/(58/(-40)). Which is bigger: -5 or v?
v
Let f = -24.54 - -17.34. Which is bigger: f or -3/8?
-3/8
Let p be 4*((-950)/12180 + (-2)/(-21)). Is 167/4 <= p?
False
Let m be 16/48 - 202/(-6). Suppose m*u = 11*u - 1610. Is -70 <= u?
True
Suppose 990 = -3*y + 14*y. Suppose y*w - 80*w + 2740 = 0. Which is smaller: -273 or w?
w
Let i = -3132/35 + 624/7. Which is greater: i or -2/7?
-2/7
Let t be (-3 - (-68)/16 - 1) + 47141/(-179124). Which is smaller: t or 0?
t
Let q = 0.473 - -32.327. Let v = q + -35.8. Is -5/9 bigger than v?
True
Let i be 152/(-19) - (-91)/(-4). Let o = i - -125/4. Are o and 0.04 equal?
False
Suppose 6*t - t = 35. Let p = -975 + 1000. Let o be ((-72)/105 + 10/p)*t. Is -16/9 not equal to o?
True
Let j(s) = s**3 + s**2 + s + 22. Let u be j(0). Suppose 3*m + 50*x = 47*x + 21, 2*m - x - 47 = 0. Which is greater: m or u?
u
Let b = -102.1 + 5.1. Let d = 10171 - 10170. Which is bigger: b or d?
d
Let y = 1/14127 - 9665/3489369. Let a be (7/(-10))/(1482/(-4652)). Let x = y - a. Which is smaller: -0.1 or x?
x
Let b = -3548 - -3507. Is -3/4 smaller than b?
False
Let q = -9990/7 + 49187/35. Which is bigger: -0.36 or q?
-0.36
Let m be 4/12 - 28/(-6). Suppose 0 = 6*u - 4*u - 3*s - 117, -m*s - 177 = -3*u. Is u greater than 53?
True
Suppose 7*t - 16 = 15*t. Let z be -12 + 14 - -3*1. Suppose 4*j = -z*s - 0*s - 26, -3*s = -j + 2. Are s and t non-equal?
False
Let n = -5731 + 5744. Which is smaller: n or 31/4?
31/4
Suppose -52*c - 2766 = 4735 + 5759. Is -253 not equal to c?
True
Let m(p) = -9*p + 2. Let w be m(-4). Suppose -405 = 3*j + 2*j. Let b = w + j. Does b = -43?
True
Let b(w) = 3*w**2 - 41*w - 2. Let c be b(14). Suppose 4636 = c*g + 304. Is 361 > g?
False
Suppose 36313 = 185*v