ller: z or r?
r
Let k be ((-2)/(-6738))/(413/1239). Which is smaller: k or 4?
k
Let f(t) = t**2 + 35*t - 841. Let x be f(17). Which is smaller: 6 or x?
6
Let m be (-32)/(-24)*(-144684)/(-24). Is m greater than 8036?
True
Let k = 6 - 10. Let i = -29/946 - 37579/8514. Which is smaller: k or i?
i
Let i(j) = 3*j**2 - 96*j - 103. Let g be i(33). Let q be -2 + -4*9/(-12). Suppose -3*y = -5 - q, 5*n - 5*y - 5 = 0. Which is smaller: g or n?
g
Let k be -3 - (4 + 2 - (-26099)/(-2900)). Are k and -1 unequal?
True
Let a = 0.6 + -2.6. Let c = -2.05 - a. Let j = 79731 + -79724. Is c smaller than j?
True
Let g = -0.701 - 0.029. Let p = 1.27 - g. Do 51 and p have the same value?
False
Let j be 1/6 + 1239/126. Let y be (j/(-40))/(175/168). Is y at most as big as -1?
False
Let r = 0.112 + 45.888. Let t = r - 31. Let h = -3 - t. Which is smaller: -1 or h?
h
Let o(i) = -6*i**2 + 74*i - 25. Let n be o(12). Let x = 119 + -113. Is n > x?
False
Let p be (16874/3835)/(2/10). Is p less than or equal to -54?
False
Let b(f) = 715*f + 3872. Let w be b(-17). Is w at most as big as -0.1?
True
Suppose -5*k + 14481 = -4*l, 63*l = 59*l - 3*k - 14441. Is -3615 <= l?
True
Let p = -14005 + 21167. Which is bigger: 2/5 or p?
p
Let c be -92 - -88 - (2 - 9) - 0. Which is smaller: c or 23.4?
c
Let z = 144 - 320. Let i = z + 176.2. Which is bigger: 1/6 or i?
i
Let p = 187 - 1311/7. Let b = -8.0848 + 8.0438. Which is smaller: b or p?
p
Let h = 1/3489 + -34897/24423. Let y be 0 + (-3 - (-60)/21). Which is smaller: h or y?
h
Let h be 1 + 1 - (-54 + -3). Suppose 0 = 2*q + h + 61. Let u = 47 + q. Do -14 and u have the same value?
False
Let v = 60 + -55. Suppose v*u - 5 = 4*y, 4*y - 15 = -4*u + 25. Suppose -3*z + 5*x - 176 = 0, -u*z + 3*x - 252 = 5*x. Which is bigger: 2/3 or z?
2/3
Let c = -16.737 + 16.867. Let l be (-27)/(-2)*2*-1. Is c greater than l?
True
Let s be 1/((-9)/(-15))*5/(-200)*12. Let g = -1.41 + 0.67. Is g greater than s?
False
Let j = 8 + -6. Let f be (-54)/81 + (-31)/(-51). Let l = f + 139/51. Which is greater: j or l?
l
Suppose 0 = 4*f - 5*j + j - 17684, 2*f - 8838 = -2*j. Which is smaller: 4421 or f?
f
Let w be ((4/(-9))/4)/(15 - (-1001)/(-66)). Which is greater: w or 3560?
3560
Suppose 2*y = 3*d + 1, -5*y - 6*d - 32 = -2*d. Let n be (-9 - -6 - 14/y)*2. Is n at most 71?
True
Let k = -1.082 + 1. Let o = 2.082 + k. Let i = 0.07 + -0.23. Is o >= i?
True
Suppose -x = 2*x + b - 1499, -5*x = -5*b - 2485. Let a = x - 498. Let q be (-1)/(-3) - (-14)/174. Which is greater: q or a?
a
Let m = -463/264 + 1/264. Do m and 2 have different values?
True
Let v = 544 + -535. Let d(b) = 2*b**2 + 17*b - 26. Let u be d(v). Do u and 289 have the same value?
True
Let h be (-550675)/(-183555) - 30/(-4)*96/(-240). Is h != 0?
True
Let z(k) = -k**2 - 12*k + 16. Let p be z(-7). Suppose 12 = -p*j + 39*j. Let q be ((-4)/(-10))/((-2)/(-10)). Do q and j have different values?
True
Let i = -4.07 + 4.17. Let f = 95.12 - 1.12. Which is greater: i or f?
f
Let b = -35.14 - -35.1. Let c be (1/(-1))/(1/(-2)). Suppose c*u + 7 = 3*h, -h - 6*u - 21 = -2*u. Is b less than or equal to h?
False
Let t be 10/(-4)*(-2)/(-5)*5. Let q(j) = 38*j + 42. Let r be q(t). Which is smaller: -147 or r?
r
Let w = -797871 + 797880. Suppose 3*f - 21 = 3*q, 2*f + 5*q - 7 = -0*q. Which is smaller: w or f?
f
Let r(y) = y**3 - 10*y**2 + 4. Let o be r(10). Let h be (7/o)/((-6)/408). Let f = h + 137. Which is smaller: f or 20?
f
Let s = 9 + -10. Let g be s/6 - 0 - (-169)/150. Let o = -44/25 + g. Which is smaller: o or 0.1?
o
Let v = -0.0456 - 1.1164. Let c = v - -0.052. Let y = c - -1.31. Are 0.4 and y unequal?
True
Let u = -2257 - -2257.2121. Does 0.1 = u?
False
Let b(o) = 3*o - 39. Let j be b(13). Let c(h) = -3*h**3 + 2*h**2 - 2*h - 62. Let k be c(j). Is k <= -62?
True
Let z = 52 + -83. Let t = -0.45 + 3.45. Which is smaller: z or t?
z
Let h = 1378/105 + -369757/420. Let k = h + 860. Do k and -8 have the same value?
False
Let i(u) be the third derivative of -29*u**4/4 - 7*u**3/6 - 156*u**2. Let y be i(-1). Is 164 != y?
True
Let k = 37366 - 37366. Which is greater: 23/93 or k?
23/93
Let t = 35818/4005 - 8/801. Is t != 8?
True
Let p be (31644/(-1172))/(4/6 - 49/60). Is p != 173?
True
Let w = -451 - -452. Is w <= -621?
False
Let o = 4333 - 3335. Which is greater: -0.4 or o?
o
Let s(h) = 3*h + 18. Let u(a) = a. Let i(f) = -s(f) - 3*u(f). Let o be i(-4). Which is smaller: o or 45/7?
o
Suppose 17*u - 3*u = 14. Let l be 35*u + (-17 - -16). Is l > 33?
True
Let r be 4/(-2)*1514/4 + 0. Let u = r - -750. Suppose 5*v + 30 = 2*v. Is u < v?
False
Let d be (-4)/8*(-3884)/(-45178). Let r = -135/150286 - -1/326. Let l = d + r. Which is bigger: -1 or l?
l
Suppose -6*y + 9*y - v - 10 = 0, -4*y + 32 = -4*v. Are -1429/5 and y nonequal?
True
Let f be ((-4)/(-3360)*-5)/((-2)/(-27)). Let l = f - -1219/1232. Which is greater: l or 0?
l
Let t be -1*(-4 - 6)/(-5). Suppose -5*b - 21 = -3*j, 7*j + 4*b + 4 = 3*j. Let o be 0/(j*(-1)/t). Does 9/10 = o?
False
Let u be ((-1)/2)/(292/1168). Which is smaller: -2925/8 or u?
-2925/8
Let b be 3*4/18 - (19 - (-27168)/(-396)). Is b at least as big as 50?
True
Let i(q) be the third derivative of -q**6/120 - 114*q**2. Let w be i(2). Let f be 0 - 1 - 120/18. Is f >= w?
True
Let x = 6.11 + -4.9. Is x > 1?
True
Let t = -239 + 170. Do t and -764/11 have the same value?
False
Let q = 15697 + -1805164/115. Is -1 greater than q?
False
Let y = -3987 - -3992. Which is smaller: 37 or y?
y
Let o = -0.5 - -7.5. Let s = 15.69179 + 3.30821. Which is greater: o or s?
s
Suppose -1 = -a, 5*c + a - 342 + 1 = 0. Is 73 at least c?
True
Let k = -143 - -50. Let h = k - -106. Is h smaller than -2?
False
Let c be ((-6)/(-208))/((-10596)/(-113024)). Let h = -1.04 - -0.9. Which is smaller: c or h?
h
Suppose -32 = 4*r, 12*h + 72*r = 77*r - 800. Which is smaller: -77 or h?
-77
Let w be -52 - 20/90*9. Let j be (5 - 4)/((w/(-348))/9). Which is smaller: j or 51?
51
Suppose -j = -4*o + 24, -3*j + 7*j = 5*o - 41. Suppose o*a - 2*z + 0*z - 61 = 0, 8 = 4*z. Is a >= 2?
True
Let l = -107 + 17. Let w = -206 - l. Is -116 less than or equal to w?
True
Let d = 26623 - 23067. Which is greater: d or 3558?
3558
Let t = 1.3823 - -0.3177. Which is bigger: t or -37?
t
Let l(i) = 2*i + 22. Let v be l(-12). Let b be (-3)/((1/v)/(2/4)). Suppose -b*z - x + 1 = -0*z, -5 = -5*x. Is z >= 21?
False
Let n = -0.06267 + -17.93733. Which is smaller: -35 or n?
-35
Suppose 0*i + 57 = 3*i. Let x be -2 - (i/(-11) - 0). Let y = -15704 - -15705. Is x greater than y?
False
Let v be (12/8)/(9/282). Suppose 4*b - 11 = -v. Let u be ((-12)/b)/((-8)/(-6)). Which is smaller: -5 or u?
-5
Suppose 0 = -5*w + r - 42, 23 = -3*w - 5*r - 19. Let y be w/6*16/(-28). Is y > 2?
False
Let d = -79 + 144. Suppose 0 = -13*g + 8*g + d. Let w = g + -12. Which is bigger: w or -17?
w
Suppose -3*n = -r - 11, -4*r - 5*n + 4 = -3. Let q(i) = i**2 + 3*i + 2. Let g be q(r). Let u be ((-18)/(-20))/(726/(-605)). Is u < g?
True
Let p(l) = -l**2 - 9*l - 1. Let m be p(-9). Let u be (-12)/(-9) - -3*m/9. Is u less than -3/236?
False
Let d = 0.068 + 51.932. Let v = 0.062359 - -51.991641. Let j = v - d. Which is bigger: j or 0.1?
0.1
Suppose 11*r + 20*r = -11*r - 42. Is 4/2455 less than r?
False
Let r = 783 - 30539/39. Let l = 235 + -230. Which is greater: r or l?
l
Let v = 1341 + -786. Let m = 563 - v. Is -5 less than m?
True
Let p(k) = 57*k + 3. Let t be (-8 - (-2 - -1))*-7. Let c = -50 + t. Let z be p(c). Which is smaller: z or -55?
-55
Let s(y) = 3*y**3 + 167*y**2 + 113*y + 144. Let w be s(-55). Which is bigger: w or 66?
66
Let p = 0.063 - -6.937. Let s = -7.6 + p. Is s > 1?
False
Let n be -1 + 0 + -2 + 4. Let p be (-5)/(-195)*-13*90/130. Is p less than n?
True
Let w = -4 - -3.7. Suppose -3*p = 708 - 714, 2*p + 2 = -2*z. Which is bigger: w or z?
w
Suppose 0 = 12*k - 1 - 23. Let m be -1 + 7981 - (4/k + 2). Let j = m - 55922/7. Which is bigger: j or -12?
-12
Let w = -2452 - -424. Is 2/7 <= w?
False
Let b = -2 + 39. Suppose -4*r - 14 = -2*v, v - 24 = 5*r - 11. Suppose 2*t - b = 3*i, 2*t = 5*i + v + 44. Is 11 less than or equal to t?
True
Suppose -20844 = -53*d + 35*d. Let i be (-2)/d*4/2. Which is greater: i or 0?
0
Suppose 2*v = -4*n + 32, 3*n + 0*n = 4*v + 35. Let t be -37 + -1 + n/(-3). Let f be (-64)/(-16) + (-45 - -1). Wh