- 365/(-146))*-190. Let j be (-578)/(-6) + (-1)/3. Let q = j + c. Is 2/301 at most q?
True
Suppose 52331 = 65*y + 118871 + 357390. Which is greater: -6525 or y?
y
Let v be 8 - 4 - 8 - 164. Let d be v/(-72) - 1/3. Is 15/19 at most d?
True
Let v = -15703989754 - -4821119093617/307. Let x = v - -18765. Which is smaller: 0 or x?
x
Let j = 5434 - 5436. Are j and -11 unequal?
True
Suppose -4*m - 38 = -4*r + 110, -4*m = -2*r + 78. Suppose -g + 8*g = 89 + 121. Which is smaller: r or g?
g
Let q(f) = -4*f + 29. Let n(y) = -15 + 25 - 13 - 12*y - 2*y**2. Let s be n(-5). Let o be q(s). Which is greater: o or -2/39?
o
Let v = 5151 + -396666/77. Is v > -1?
True
Let t be (342 - 6/(-2)) + (-7 - -4). Let p = t + -205. Is p bigger than 137?
False
Suppose -15*q + 4*q + 86614 = 0. Suppose 57*l = -3982 - q. Which is bigger: -209 or l?
l
Suppose i + 2 = 1. Let n be (-10 + 5)*i*(-1 + 2). Let z be (-1)/n + 52/180*33. Is z bigger than 10?
False
Let z = -63 - -62.923. Let y = -8.923 + z. Is y at most 1/7?
True
Let p = 101/13 - 251037/32305. Is p at least as big as 1?
False
Let p = 24676 - 172364/7. Is 54 at least as big as p?
True
Suppose -54 = -2*n + 2*v, -4*n - v + 29 = -69. Let c be (n/(-5) - -22)/(-1). Are c and -19 unequal?
True
Let x = 136 - 30. Suppose -359*g + 1337 + 40393 = 31*g. Which is smaller: g or x?
x
Let a(t) = -273*t + 7417. Let z be a(11). Which is bigger: z or 4415?
4415
Let f = 493.4 - 503. Let v = -27.6 - f. Which is greater: 0 or v?
0
Suppose -2*h = 2*q + 2240, 26*q - 28*q + h = 2228. Do -1114 and q have different values?
True
Let x = -21130 - -3359672/159. Which is greater: 0 or x?
x
Let b = -1.44 + 0.15. Let p = b + 0.79. Let y = p + 0.48. Is y >= 0.02?
False
Let m = -462 + 527.9. Let q = m - 66. Let u(y) = -4*y + 5. Let k be u(6). Which is bigger: q or k?
q
Let b = 606 + -606. Suppose -11 = -5*o + u, b = 2*u - u + 1. Which is greater: o or 36/59?
o
Let u = 727.1 + -675. Let r = -46 + u. Let d = -6 + r. Is -0.07 less than d?
True
Let w be ((-3)/39)/(2/(-18)). Let m be 30/(-130)*(18/(-60))/(3/(-82)). Let g = w + m. Which is greater: g or -1?
-1
Let b = 122675/64 - 1917. Is -1/3 at least as big as b?
False
Let l be -13 + 20 + 1146/(-162) + 170150/(-54). Which is smaller: -3149 or l?
l
Let j = -9841 - -9841. Which is bigger: j or 72/109?
72/109
Suppose -2*l = -2*j - 31 + 1, -4*l - 5*j + 105 = 0. Suppose 50*t = 59*t - 189. Which is smaller: l or t?
l
Let p be (-11 - -5) + -8 + 12. Is p < -66/85?
True
Suppose 154*y + 189069 = -103531. Which is smaller: y or -1898?
y
Suppose 2542 = -2*x - 29*x. Which is smaller: -6 or x?
x
Let k = 1651 - 1651. Which is smaller: 2/2539 or k?
k
Suppose -r = -4*x - 1054, -5*x - r - 746 = 567. Suppose d - 3696 = 15*d. Is d <= x?
True
Let r = -62.5 - -16.5. Let l = 129 + r. Is 1 equal to l?
False
Suppose 3*a - 8 = -2. Suppose -2 = -2*n + a*y + 52, 130 = 5*n - 4*y. Which is greater: 20 or n?
n
Let w be (0 - (-1450)/(-76))*(-270)/(-50). Let m = w - -103. Let a(o) = o - 2. Let v be a(3). Is m at least as big as v?
False
Suppose -4*d = 0, 3*k + 2*d - 12 = -96. Suppose 3*g - 138 = -4*t - 201, 5*g + 71 = -t. Which is greater: k or g?
g
Let f = 0.055 - 0.08. Let h = f + 0.545. Let a = 98 - 98. Which is greater: a or h?
h
Let g = 256 - 114. Let k = 158.44 - g. Let h = k + 0.56. Is -0.5 at least h?
False
Let n(i) = -i**2 + 14*i + 25. Let b be n(21). Let r = b - 154. Let k be (4/(-10) + r/(-90))*-3. Which is smaller: k or -9?
-9
Let q(c) = -8*c + 102. Let l be q(0). Suppose -5*t = -4*w - l - 23, 5*t = 5. Let f be w/136 + 9/36. Which is greater: 1 or f?
1
Let q = 94835414/769 + -123323. Which is smaller: 1 or q?
q
Let o(c) = -c**3 + 8*c**2 - 5*c - 10. Let t(d) = -d**3 + 10*d**2 - 10*d + 16. Let v be t(9). Let l be o(v). Let y be ((-6)/l)/((-9)/(-96)). Is -16 < y?
False
Let f = 651 - 361. Let x = 334 - f. Is x smaller than 44?
False
Let t(q) = -q**3 + 8*q**2 + q + 12. Let u be t(9). Let r be (7 - u/(-8))*(1 - -1). Let l be r - -10*(-4)/(-56). Is -0.8 > l?
False
Let n be (19 + -18)/(2/(-50) + 0). Let x be (-5)/(n/(-15)) + (-21)/(-6). Is x at most -4?
False
Let n = 46069 + -46078. Let t = 24 - 34. Is n at least t?
True
Let p = -25987/29 - -896. Let r = 131 + -132. Is r smaller than p?
True
Let u(t) = 4*t**2 + 26*t - 47. Let y be u(-13). Which is greater: 1 or y?
y
Suppose -5*l - 240 = -5*h, 180 = -309*l + 305*l + 2*h. Is -98 smaller than l?
True
Let m = -6291/34540 + 1/3140. Which is greater: 4/231 or m?
4/231
Let h(q) = -q + 12. Let w = -12 + 26. Let f be (2 - w/5)/(3/(-45)). Let l be h(f). Which is smaller: -2/91 or l?
-2/91
Suppose 68*k - 115 + 183 = 0. Which is smaller: k or -2/2071?
k
Let a be 1482/195 + (-15)/(-15). Suppose 0 = -5*j + 25, 2*f + 3*f - 5*j + 10 = 0. Suppose f*i = -i + 32. Which is greater: i or a?
a
Suppose 0 = -10*y - 76 + 326. Do 31 and y have different values?
True
Let j(h) = 3*h**2 + 4*h - 8. Let v = 14 + -12. Let u be j(v). Let l be (u/(-3))/(-2) + -2. Which is bigger: -1/2 or l?
l
Let v be 1/(-2) - 78/4. Suppose 0 = -16*c + 12*c - 5*h + 105, -h = 3. Let b be c/v*(-8)/6. Which is smaller: -11 or b?
-11
Let a = -16.5 - -16.5. Which is bigger: a or 1133?
1133
Let j = 111 - 44. Let p = -39 + 63. Let q be 430/6 - (-8)/p - 4. Is q less than or equal to j?
False
Let q = -86/19 + 468/95. Is q != 3299?
True
Let g(t) = t**3 - 10*t**2 + 20*t + 6. Let j be g(3). Suppose 23 = j*l + 4*c, 3 = 2*l + 5*c - 24. Do -10/51 and l have different values?
True
Let k = 17.025 + 4940.975. Which is smaller: k or -2?
-2
Let o = 117 - 113. Suppose 4*n + 4 = 0, -8*a - 187 = -o*a + 3*n. Let w be ((-35)/(-105))/(a/4). Is w equal to 3?
False
Let b = -12692 + 13016. Which is greater: 318 or b?
b
Let x be 786/267 + -2 - 0 - (-152)/(-38). Which is greater: -4 or x?
x
Let p be 2/7 - (-1590)/70. Suppose 968 - 431 + 951 = 62*f. Is f < p?
False
Suppose -3*t = 4*z - 3, 527*z = -t + 525*z + 1. Which is smaller: 6/2695 or t?
6/2695
Let a = 1.02 + 0.08. Let g = 0.4 - a. Is 1 != g?
True
Let z(w) = 5*w**2. Let q be z(-1). Suppose 0 = -l + q*l - 4. Let k = 146/981 + 8/109. Which is smaller: k or l?
k
Let t(q) = -2*q**3 + 5*q**2 + 6*q - 9. Let f be t(3). Which is greater: f or -1/1985?
f
Let r = -56 + 53.7. Let b = r + 2.95. Let s = -0.55 + b. Is 0 < s?
True
Let b = 754932/11 - 68485. Let o = 145 - b. Which is bigger: o or -17?
o
Let o be 13607034/(-10290) + ((-4)/10 - 0). Let k = 1323 + o. Which is smaller: 1 or k?
k
Let k = -9.5 - 8.4. Let x = -10.3 + k. Let a = x + 1.2. Which is smaller: a or 1?
a
Suppose u - 301 = 3*s, -4*u - 4 = -5*u. Let g be (-2 + (-40)/(-18))*s/33. Which is bigger: -0.14 or g?
-0.14
Suppose t + 338 = -34*i + 38*i, -3*i + 260 = -4*t. Which is smaller: 104 or i?
i
Let r be (-4000)/(-2250) + (-86)/45. Let s(l) = -l - 4. Let b be s(-3). Let c = 0 + b. Are c and r equal?
False
Let o(r) be the third derivative of r**5/60 + r**4/3 + r**3/2 - 24*r**2 - r. Let u be o(-8). Is u greater than 5/3?
True
Let a = 1.95 - -0.05. Let v = 1.39 + -2.18. Let s = 2.79 + v. Is s > a?
False
Let z = -0.3 - -0.5. Let h = -68.633 - 0.367. Let k = -69.1 - h. Which is bigger: z or k?
z
Let g(x) = x**3 - 7*x**2 + 6*x + 2. Let j be g(6). Let l(u) = u + 4. Let v be l(27). Suppose j*z = 5*n + v + 2, 20 = -4*n. Is 4 < z?
False
Let o be ((-10)/4)/(31/(-2)). Let j(d) = d**3 + 9*d**2 + 17*d + 73. Let n be j(-8). Which is bigger: o or n?
n
Let a(f) = -f**3 - 16*f**2 - 14*f + 18. Let s be a(-15). Suppose s*p + 3*k = 0, -2*p + 3*k = -0*k. Suppose 0*q - 5*q - 50 = p. Are q and -1 equal?
False
Let g = -84 + 1096/13. Suppose -3*q - 2*w = 53, w - 40 = 2*q - 0*w. Let n(m) = -m**3 - 17*m**2 + 36*m - 37. Let x be n(q). Which is bigger: g or x?
x
Suppose -32*k - 36251 + 891 = 0. Let u = -913 - k. Which is smaller: 191 or u?
191
Suppose 2*l = n - 241, -76*n + 71*n - l + 1271 = 0. Which is greater: 256 or n?
256
Suppose 117*j - 124*j - 103 + 3351 = 0. Is 468 < j?
False
Let o(s) = 13*s + 8. Let n(i) = 12*i + 7. Let y(r) = -5*n(r) + 4*o(r). Let v be y(-2). Let p = 5 + v. Which is smaller: 20 or p?
p
Let b(j) = 56*j**2 - 469*j + 18. Let n be b(8). Is -138 at least as big as n?
True
Let j be (48/32)/((-2)/(-4)) + (-46206)/15444. Which is greater: -3 or j?
j
Suppose -2*n = 3*m - 14, -4*m + m - 3*n + 15 = 0. Suppose 0 = 3*j + 4*w - 3, 4*w - 2 = -2*j + 9*w. Suppose -5*h - j = -m*h. Wh