 -6*(-3 + (-32)/i). Which is smaller: 0 or u?
0
Let k(q) = -35*q - 984. Let v be k(-28). Which is bigger: v or -6/13?
-6/13
Let c = -38 + 38. Let r be c + 4*(-5)/70. Does r = 12?
False
Let w be 17/(68/24) - 6. Which is smaller: 7/22 or w?
w
Let v(r) = -r**2 - 5*r + 8. Let b be v(-6). Let y be (276/(-100) - -3)*(-5)/(-4). Is y smaller than b?
True
Let l = -152.33 - 0.67. Let x = l + 160.9. Which is bigger: x or -0.1?
x
Let u = 20 - 8. Let b be 6/u*62/1. Are b and 32 unequal?
True
Let c = -1058/99 + 120/11. Which is greater: -2/9 or c?
c
Let m = -0.055 + 0.285. Let c = -2.08 + 1.98. Which is smaller: m or c?
c
Let z = 8 - 5. Let d = 82 - 82. Let c be d - ((-40)/(-25) + -2). Which is smaller: c or z?
c
Let d = -914/34733 - 12/739. Let w(u) = -u**2 + 2*u + 1. Let g be w(2). Is g smaller than d?
False
Let s(o) = -o - 9. Let m = 24 + -36. Let z be s(m). Let x be z/(-12) + 2/(-4). Which is smaller: x or -1?
-1
Let c(l) = -2*l - 4. Suppose -b - 2*m - 2 = -5, 5*b + 4*m + 3 = 0. Let y be c(b). Let p be y/3*(-10 - -1). Is p <= -6?
True
Let i be 1*11/(-1*1). Let x be -4*(8 - 5)*1. Is i < x?
False
Let c = -362 - -342. Is 1 >= c?
True
Let s = 8.79 + -8.74. Is 7/29 not equal to s?
True
Let m = -71 + 44. Let z be (-3)/15 - 402/15. Let r = z - m. Which is greater: -2/87 or r?
r
Let b(g) = 5*g**3 + 2*g**2 - 2*g + 3. Let c be b(3). Let r = -62 + c. Suppose 8*d - 4*d = r. Is d less than or equal to 22?
True
Let m = 248/19 + -12629/969. Are m and 0 non-equal?
True
Let h = 1821 + -311387/171. Is h less than or equal to -1?
False
Suppose -5*c - 31 = -31. Which is bigger: c or -2/647?
c
Suppose -4*h + 30 = h. Suppose 2*o + h*n = 3*n + 27, o + 4*n = 26. Suppose 43*f = 46*f - 12. Which is bigger: f or o?
o
Let d be (-17)/(-51) - (-6)/9. Which is greater: 3/124 or d?
d
Suppose -2 = -139*q + 141*q. Which is greater: q or -2/403?
-2/403
Let b(j) = j + 60 + 66 - 124. Suppose 0 = -3*k + 15, -3 = -4*x + k - 4*k. Let h be b(x). Which is smaller: h or -1/6?
h
Let y(v) = v**3 + 8*v**2 - 10*v - 13. Let g = 115 - 124. Let t be y(g). Which is smaller: 3/2 or t?
t
Let y be 3 - 0 - (11224/30 - 0). Let r = -371 - y. Is r > -2?
True
Suppose 0 = -5*v + y + 25 + 87, v = 2*y + 26. Suppose 6 = -3*d, 3*d - 34 = -2*c - d. Do c and v have different values?
True
Let x = 1.2 - 1. Let y be (2/(-72))/(32/(-420)). Let u = -1/32 + y. Which is greater: x or u?
u
Let p(n) = -n - 5. Let l be p(-6). Let r be (8 + 3)*l + -2. Let u = -26 - -35. Is u not equal to r?
False
Let c = 19 + -39. Suppose 147 = -4*j - 3*j. Which is smaller: j or c?
j
Let m(y) = 4*y**2 + y - 1. Let c be m(1). Suppose -2*w - 7 = -2*a + 3*a, 4*a + 3*w + 23 = 0. Let q = c + a. Is q <= -5/4?
False
Let r be ((-22)/4 - 11/22)/1. Let x be r/5*-1*(-4)/36. Which is bigger: x or 1?
1
Let d be (-16)/(-20)*2/(-4). Let q be (1*-1)/((-12)/96). Suppose 2*n + 1 = w + q, 3*n - 13 = 2*w. Which is smaller: n or d?
d
Suppose 25 = -u - 183. Does -208 = u?
True
Let k(a) = -2*a + 2. Let h be k(-2). Let m = 22 + -21.55. Let n = m - 0.35. Is h greater than or equal to n?
True
Let v be ((-21)/(-9))/((-60)/(-1260)). Does v = 51?
False
Let p = 60/7 + -58/7. Which is bigger: p or 16?
16
Let v = -191/2149 - 1/2456. Is 0 less than v?
False
Let d = -17 + 13. Let p be d*2/((-4)/5). Suppose 5*h = p*h + 55. Is -11 > h?
False
Let p be 9/(-99)*5/(-10). Let q = 0.2 - 0.9. Let s = -0.3 + q. Which is bigger: s or p?
p
Suppose -2*c - 14 = -k - 2*k, -10 = -5*c. Suppose h + 112 = -0*a + 3*a, -160 = -4*a + 4*h. Let b be a/(-9) - (-4)/((-8)/(-22)). Which is bigger: k or b?
b
Let j be (16/(-36))/(((-28)/6)/(-2)). Is -0.1 equal to j?
False
Let i be ((-6)/(-72))/(1/(-46)). Let q = 423 + -428. Are i and q non-equal?
True
Let n = -41 + 47. Let c be -1*(-19)/(-1)*n/2. Is -58 < c?
True
Let k be -16 + 10 + 240/(-2). Is -0.1 smaller than k?
False
Let f = 563 + -239. Let u be (-2)/(-8) + 279/f. Which is bigger: 2 or u?
2
Let b be 4/(112/(-164)) + 6. Does b = 1?
False
Let d = -71 - -71.04. Let a = -2.04 - -2. Let h = a + d. Is -2 less than h?
True
Let h = -1179 - -1171. Do h and -94/13 have the same value?
False
Let c be -2*1/(-2) - -21. Let u be ((-8)/(-3))/((-1620)/(-13122)). Which is bigger: c or u?
c
Let q be ((-1781)/(-10) + -1)/(-1). Let v = q + 178. Let f = v - -7/20. Is 2 at most as big as f?
False
Let j = -11 - -11. Let g = -3/4 - -1. Let l = g - j. Is l less than or equal to -1?
False
Let f be ((-2)/4)/(3/18) + 5. Suppose f*b - 2*z = 2, -z + 9 - 4 = b. Suppose 5*u + 5*q = -10, 16 = -0*q - 4*q. Which is smaller: b or u?
u
Let i(q) = 6*q**3 + 15*q**2 - 19*q + 7. Let b(z) = z**3 + z**2 + z. Let k(s) = 5*b(s) - i(s). Let o be k(-12). Which is bigger: o or -8?
o
Let v(j) = j**2 - 21*j + 3. Let w be v(21). Suppose -5*o + 3 = -4*u - 2, -14 = w*o + u. Is -13/5 smaller than o?
False
Let l = 9/133 - 815/8113. Let f = l - -69/244. Which is smaller: f or -2/87?
-2/87
Let v = -37491/58 + 3232/5. Are v and 1 equal?
False
Let w be 2/(-9) + 128041/(-171). Which is greater: w or -748?
-748
Suppose -3*g = -4*s + 20, 4*s - 10 = 3*g + 2*s. Let u = -7/2 + 605/174. Let i = u + -79/348. Which is smaller: g or i?
i
Suppose 845*p = 842*p - 150. Which is smaller: -53 or p?
-53
Let o be -3 + (-5273)/(-5) - -3. Let r = -1068 + o. Let g = 12 + r. Which is greater: g or -1?
-1
Suppose -3*i + c = -259, 5*c = -4*i - i + 445. Is i at most as big as 88?
True
Let y be (-1)/(2 + -1) + -2. Is y greater than -0.23?
False
Let x = 55 + -55. Suppose x = -15*t - 106 + 256. Let p = -4 - -4. Which is smaller: t or p?
p
Let a = 7 - 4. Let x = -2385 + 2385. Suppose -a = 3*w + d, 3*w + 4*d = -x*w - 12. Are 7/9 and w unequal?
True
Let j be (-12)/5 + (-378)/630. Are -6 and j unequal?
True
Let g(b) = -b - 5. Let k be g(0). Suppose y = -4*w - 12, 2*y - 9*w = -14*w - 18. Which is bigger: k or y?
y
Let c(i) = -i - 5. Suppose 0 = 3*f - 7*f - 32. Let w be c(f). Let j = -21 + 21. Is j at most as big as w?
True
Let y be (-24)/(-164)*(-5)/(-20). Which is smaller: y or 1?
y
Let w be (-15)/(-5)*2/(-12). Suppose -2*z = -3*p - 17, 2*z + 4*p = 7*z - 39. Let u = 6 - z. Is w > u?
True
Suppose 660*o = 664*o - 8. Is o < 45/47?
False
Let v = 57 + -57. Let r = v - -8. Which is bigger: 6 or r?
r
Let p = 645 - 8387/13. Let d = 2.2 + -2. Let n = d - 0.3. Is p less than n?
True
Let l = 3 - -1. Let q be -1*(-3 - 5)/l. Suppose q*n - 18 = 2*z, z + 1 = -3*n - 3*z. Is 5 at least as big as n?
True
Let u = 44 + -41.1. Let y = u - 3. Which is smaller: y or -0.21?
-0.21
Let v = -9 + 6. Let x be -1 + (v - -1 - 0). Let r = 0 - x. Is r > -1/5?
True
Let c be (2 + (-4)/6)/2. Let y be (-2988)/(-264) + -11 + 1/(-2). Is y less than c?
True
Suppose -4 = 5*h + 4*v, -h - 4*v - 6 = -2. Let c = 3 + 0. Let r = c - 3. Are h and r equal?
True
Let f(k) = k**3 - 14*k**2 + 23*k + 13. Let c be f(12). Which is smaller: 8/25 or c?
8/25
Suppose -i + 2*d - 53 + 54 = 0, 6 = -2*d. Let s = 3 + -3.4. Is s != i?
True
Suppose -39 + 215 = -11*a. Which is greater: a or -18?
a
Let i = -2787 - -13934/5. Let o(k) = k**2 + 3*k - 2. Let f be o(-6). Are i and f non-equal?
True
Let z be 2/(-42) - (-1)/3. Suppose -3*t + 9 = -3. Suppose -7 = -3*l - t. Which is smaller: z or l?
z
Let z = 484 + -2618/5. Does -41 = z?
False
Let y = -130 - -134. Suppose -3*k + 7*c = y*c + 48, -k - 31 = -4*c. Is k > -12?
True
Suppose 36 = 50413*a - 50449*a. Let g(z) = -z**3 + 5*z**2 + 6*z + 2. Let p be g(6). Let s be 0 + (-17)/7 + p. Is a smaller than s?
True
Let z = -36 + 38. Suppose 5*l - 5*w = l - 63, z*l - 4*w = -36. Let g be (1 + 9/l)*22. Is g at least as big as 7?
False
Let p(o) = 9*o**2 - 371*o + 1124. Let i be p(3). Suppose -5*q + 186 = -3*q. Is i greater than q?
False
Let y = 156 + -156. Which is bigger: -17/21 or y?
y
Let h be 36/45*20/(-56). Which is smaller: -0.24 or h?
h
Suppose 6 + 6 = 3*f. Suppose 4*y + 4 = 4*u, 5*y - 2*y - f*u = -6. Suppose -y*a + 6 = 2. Which is smaller: a or 4/5?
4/5
Let i = -3.93 + -3.07. Does -18 = i?
False
Suppose -2*g - 4*f + 14 = 0, 9 = 4*g + 3*f - 9. Let o be 13/g + (-1)/(-6). Let l(m) = m**3 - 3*m**2 + 2*m. Let c be l(3). Which is greater: o or c?
c
Let l be 362/2112 - (-34)/(-187). Is 1 greater than l?
True
Suppose 203*b - 210*b + 14 = 0. Which is smaller: 16/31 or b?
16/31
Let b = 2 + -8. Let s be (-2)/b*(-57)/2. Which is greater: -9 or s?
-9
Let t be 6*(0 - (-9)/(-6))