e ((-6)/(-18))/((-2)/(-12)). Suppose -u*m + 4 = -6. Suppose -2*z + 63 = m*z. Are 4 and z unequal?
True
Let j be (7 + -39)*(-7 + 10)/((-1308)/8). Is 1 < j?
False
Let p be 10 - 14 - (84/(-7))/3. Which is smaller: p or -12.1?
-12.1
Suppose -g + 2 = -0*q + 2*q, -2*q + 2 = -g. Suppose -5*v - 2 + 32 = g. Let d be (1/(2/4))/(8 - v). Which is smaller: d or -3?
-3
Let a(q) = q**3 + 23*q**2 + 37*q - 90. Let v be a(-21). Which is bigger: 9 or v?
v
Suppose 3*i + 171 = 48. Let j = 825 + -866. Is i greater than or equal to j?
True
Let r(c) = 10*c + 90. Let k be r(-15). Is k at least as big as 3?
False
Let s be (112/24)/(6/(-45)). Let b = -34 - s. Suppose -5*t - 3*w = -b + 45, 54 = -5*t + 2*w. Are t and -11 nonequal?
True
Let d(o) = 3*o**2 + 51*o + 50. Let p be d(-1). Let t be (-2 + 9 + -2)/(-1). Let w be 32/(-20) + p + 2/t. Is w less than or equal to 8/15?
True
Let u be (-523)/(-4) + 7/(-308)*-11. Let r = 73 - u. Which is bigger: -297/5 or r?
r
Let p = 17 + -12. Suppose -29 + 34 = p*i. Suppose 0 = 3*k - 1 - 2. Is k >= i?
True
Let r(s) = -16*s**2 - 43*s + 230. Let d be r(5). Is -386 > d?
False
Let h = 2266 + -2217.06. Let k = 49 - h. Let g = k - 0.01. Is g < -8/5?
False
Let l = -5.91 + 5.9188. Which is smaller: l or -2?
-2
Suppose -5*s - 10 = 2*h - 43, 2*h = -s + 21. Let p be (-28)/(-6) + (-6)/h. Let t be (-1625)/(-1070) + (-6)/p. Which is smaller: 0 or t?
0
Let m be 40/18*(-21)/238. Let b = -314/561 - m. Does -11/4 = b?
False
Let l = -2107 + 3801. Suppose 418 = -22*t + l. Is 2/9 greater than or equal to t?
False
Suppose 0 = 13*d - d - 96. Suppose -147 - 109 = d*s. Do -28 and s have different values?
True
Let u = -8186 - -13747. Which is greater: 5560 or u?
u
Let z be ((-5)/(-25))/(2/(-278)). Let r = 131/5 + z. Which is smaller: r or -0.3?
r
Let g(d) = -15*d**2 - 94*d + 36. Let w(s) = -3*s**2 - 19*s + 7. Let x(r) = -2*g(r) + 11*w(r). Let k be x(-7). Suppose k*f + 62 = 77. Which is greater: 12 or f?
12
Let o(m) = -63*m + 44. Let u be o(-4). Let r = u + -232. Suppose 2*h + 59 = y, -6*y + y = h - 317. Do y and r have different values?
True
Let c = 50 + -44. Let l be (-2)/(-3)*-3 + c. Let d be (2/(-1))/l + 6066/11988. Is -1 at most as big as d?
True
Let l be ((-24)/(-5))/(-2) - 0. Suppose 342*v + 63 = 351*v. Suppose 53*c + 99 = -v. Which is bigger: l or c?
c
Let j be (-3350)/(-1) + (-13440)/(-2640) + (-1)/11. Is 3356 smaller than j?
False
Let u = 1.1 - 6.1. Let h be -2*(-9)/(-2) + 1722/246. Which is smaller: h or u?
u
Suppose -3*g - 8 = -g. Let h be (g/7)/((-30)/285). Is h > -1?
True
Suppose 0 = 3*v + 62 - 23. Let s(b) = b**3 + 19*b**2 + 18*b - 14. Suppose -h - 738 + 720 = 0. Let m be s(h). Which is bigger: m or v?
v
Let k = 44.33 + -45.33. Which is greater: k or 4447?
4447
Let n = -1202/7 + 87648/511. Is -2 smaller than n?
True
Suppose 5*j + 12*j = 51. Suppose -2*y + 2 = -4*i, 0*y + 3*i = -4*y + 26. Suppose 1 = -4*x + y*x - j*c, -4*x = 4*c + 12. Which is bigger: -5/8 or x?
-5/8
Let v(r) = r**2 - 5*r + 3*r + 9*r + 10. Let f be v(-5). Suppose f*k = -10*k. Which is greater: -2 or k?
k
Suppose 0 = 3*l + 3*s - 9, l - 4*l - 5*s = -11. Let z be (-1)/l - 266475/310. Let f = z + 860. Is f < 1?
True
Let b(c) = c**2 + c + 3. Let t be b(-4). Let k be (4/t)/(-4)*40/(-16). Let d = k + -5/12. Is d > 1?
False
Let y(s) = 2*s**3 - 15*s**2 + 7*s - 15. Let g be y(7). Let z be ((-126)/(-3640))/((-1)/(g/(-18))). Which is smaller: z or -1?
-1
Let o be (-1)/((0 - -1)*1). Let d = -60921.01 - -60921. Is o >= d?
False
Let j(f) = -f**2 - 57*f + 682. Let z be j(14). Is z not equal to -303?
True
Let h be 476/714*(-531)/109. Which is smaller: -2 or h?
h
Let a = 8 - -31. Suppose -51 = -4*o + 5*y, 11 = -8*o + 9*o - 3*y. Suppose 0 = o*m - 13*m + 3*n - 51, 3*m + 2*n = 125. Is m less than a?
False
Let c = 3.607 - 8.607. Is -18.8 at most as big as c?
True
Suppose -g + 88 = -4*a, 5*g + 4*a = 584 - 120. Suppose 0 = -3*o + 5*o - 4*s - g, -s + 40 = o. Is 41 at least as big as o?
False
Suppose -10*k = 104 - 64. Let m be k + -3*(-5)/(-15) + 238. Which is bigger: m or 232?
m
Let m = -21939/40 - -117/20. Which is greater: m or -543?
m
Suppose 26*q + w + 5 = 29*q, 4*q - 10 = 3*w. Which is smaller: q or 1/77?
1/77
Let s = 23912 + -23944. Is -84 greater than or equal to s?
False
Let u = -5.66 - -5.4. Are u and 0.069 nonequal?
True
Let n be (-146)/2701 + (-1188)/(-74) + 2. Let k = 0.07 + -3.07. Which is smaller: n or k?
k
Let n = -5383 - -5382.9. Which is bigger: 3568 or n?
3568
Let m be (-10)/(-33148)*(-17 + 1116/60). Which is greater: 1 or m?
1
Let q = 0.4122 - 29.4122. Which is smaller: q or 2.2?
q
Let h = -8.7923 + 2.7923. Which is greater: -2823 or h?
h
Let c be (-726)/4 - (-3)/(-2). Let m(y) = -211*y**2 - y - 182. Let n be m(0). Which is greater: n or c?
n
Let z = -318726578/5019 + 63504. Is 1 smaller than z?
False
Suppose 123*q + 49995 = 490*q + 855927. Which is smaller: q or -15378/7?
-15378/7
Suppose -13*c = -9*c - 16, 4*c = 2*y + 22. Is 216 at least as big as y?
True
Let o = 69/260 - 5791/25740. Let l(m) = -m**2 - 3*m + 4. Let s be l(-4). Are s and o unequal?
True
Let m = -33 - -89. Let s be 3/4*(m/(-72) + 6). Is 3 less than s?
True
Let l be 0 + (-8)/12 - 68/(-93). Let c = 5 - 2. Suppose a - 2*a + c*b = -8, -a = -2*b - 5. Which is smaller: l or a?
a
Let u = 46.7891 + -0.0891. Let l = u - 27.6. Let v = l + -19. Is -0.4 at most v?
True
Suppose 252 = -14*f + 2*f. Let d(v) = -3*v**2 - 12*v - 7. Let x be d(-3). Suppose 0 = -4*z - 4*q - 60, 4*z + x*q + 74 = 6. Which is bigger: f or z?
z
Suppose -2*i - 9 = -13. Let y be i/((-116)/(-36) + -3). Suppose 3*d = -2*m - y, -4*m + d = -m + 8. Are 1/3 and m equal?
False
Let i = 27 + -35. Which is smaller: i or 0.078?
i
Let a = 27/10 + -19/10. Let c = -0.23 + -0.11. Let s = c - -0.04. Do a and s have the same value?
False
Let k = -23366 + 18643. Which is greater: -4722 or k?
-4722
Let k be -11 + -5 + 3787/238. Is k less than or equal to -2/23?
True
Let b be 2038*(-180)/240*(-2)/(-3). Which is bigger: -1020 or b?
b
Let a(o) = -2*o**3 + 21*o**2 - 13*o + 29. Let f be a(10). Is f <= -33/281?
True
Let w = 22 - 18. Let b be (-4)/16 - 3/w*-47. Let y = b + -10. Is y at least 25?
True
Suppose -4*d - 95 + 51 = t, -18 = 3*d - 3*t. Let o be 4/66 - (d - (-3652)/363). Let w be (-2)/(-7) + 68/(-42). Which is smaller: w or o?
w
Let b = 124778 - 37807736/303. Let g = 0 + 0. Is g not equal to b?
True
Let j be ((-33)/44)/(6*(-4)/5856). Is 2732/15 < j?
True
Let v(o) = -5*o**2 + 2*o - 1. Let h be v(1). Let l = -195/107 - 3488/963. Which is greater: h or l?
h
Let t be 1/(-7)*(-399)/114 - 8602/(-4). Is 2151 smaller than t?
False
Let j be 5*6*(-3)/(-45). Suppose -155 + 263 = j*b. Which is smaller: b or 56?
b
Let t = 192.3 - 191. Let w = -1.3 + t. Which is greater: 77 or w?
77
Suppose 0 = -4*h - 4*f - 444, -40*f + 464 = -4*h - 39*f. Let j = 121 - 238. Which is smaller: h or j?
j
Let a = 175356 - 175356. Let f(d) = d**3 - d + 1. Let h be f(1). Let l be h + 0/2 + -2. Which is greater: l or a?
a
Let t(z) = z**2 - 22*z + 8. Let s be t(8). Let l(o) = 3*o - 1. Let b be l(-34). Does s = b?
False
Let o = -25 + -23. Let q = o - -38. Let d be (0 + 4)*q/(-8). Is d less than 1?
False
Let r be 4 - 156/(-18)*(-6)/4. Let y be (-515)/r - ((-20)/18)/(-5). Suppose 7*k = -y - 13. Which is greater: k or -6?
-6
Suppose 3*w - 4*f = 6, 0 = w - 5*f + 12 - 14. Let p be -3 + ((-40)/(-180))/(w/(-15)). Which is greater: -1 or p?
-1
Let s = 38.6 - 38.52. Which is smaller: 3/19 or s?
s
Suppose v = 1, 0 = -3*u + 4*v + 3100 - 707. Is u != 797?
True
Let q = -16275 - -16276. Does q = -6/8365?
False
Let r be 120/28 - 2/7. Suppose -r*p + 5*p + 8 = 0. Let v = 14.9 + -14.9. Does v = p?
False
Let t(s) = 9*s**2 + 90*s + 8. Let y be t(-9). Which is smaller: y or -79?
-79
Let f be (6 - (-15)/(-3)) + -12. Let k be (-36)/(-70)*(f - -6). Is k equal to -2?
False
Suppose 41*o - 3233 = 8452. Is 278 greater than o?
False
Let p = -100901/3 - -1943507/57. Let w = p - 463. Which is bigger: w or 0?
0
Let y be (1086/40 + 3)/((-6)/172). Suppose 5*c - u - 3714 = 616, -3*c + 2605 = -2*u. Let t = c + y. Is t < 0?
False
Let q be (-4 + -1)*(-6164)/230. Which is smaller: 146 or q?
q
Let w be (-16)/12 + (-448)/(-300). Let i = 23 + -23. Is i < w?
True
Let m(l) = -2*l - 4. Let v be m(6). Let q be 4 + 5 - 972/36. Is q at most as big as v?
True
Let q