 and j have the same value?
True
Suppose 30*l - 4*l = 26. Is 12/263 less than l?
True
Let a be (175/60900)/((-148)/(-3)). Is a smaller than 0?
False
Let n = -38048821619383/23925 - -1590337372. Let d = 6/25 - n. Which is bigger: 0 or d?
d
Let h be 10/4 + -90 + 88. Which is smaller: h or -686?
-686
Let m be (-709)/2*16/32*6*-2. Is 2128 at least m?
True
Let z = -2715171/67 - -40525. Which is smaller: 170 or z?
z
Let m = -357903617/2249 + 159139. Is m <= 1?
True
Let y(k) = -k**3 - 5*k**2 - 3*k. Let n be y(-3). Suppose -301*t + 321*t = 60. Which is bigger: n or t?
t
Let h = -116 - -110. Let l be h/9*(-3)/(-5)*5. Is l <= 14?
True
Suppose 4*x - 50 = -5*y, -4 - 3 = 3*y - 5*x. Let h = 7 + y. Suppose -28 = 5*t - 4*j - 77, -6 = -2*t + 5*j. Are t and h equal?
True
Let a = -20.4 - -8.5. Let v = 48.1 - a. Let t = 59 - v. Which is greater: 21 or t?
21
Suppose 10*t + 12 = 7*t - 4*m, -2*m = 2*t + 6. Suppose t = -4*w - 12, 63*h - 9 = 66*h + 5*w. Which is bigger: -17/12 or h?
h
Suppose 0 = -2*o - 10 + 4. Let u be 37 - (-4 + o + 8). Let q = u - 37. Which is smaller: 3/10 or q?
q
Suppose -2337*j = -2350*j. Which is bigger: j or -2/8985?
j
Let c be -1 - -1 - 1/(-7). Suppose -156*w - 105 = -153*w. Let l be (-8)/(56/w) - 5. Are c and l nonequal?
True
Let a(f) = -4*f**3 - 126*f**2 - 14*f - 69. Let p be a(-31). Which is smaller: p or -1559?
-1559
Suppose 30 = -4*b + 622*z - 620*z, -3*z = -3*b - 18. Is b >= 4?
False
Let k be (-6)/22 + (-206601)/(-561). Let h = k - 421. Are h and -53 non-equal?
False
Let d(b) = -48*b - 568. Let t be d(-21). Which is smaller: t or -3?
-3
Suppose -9*c - 441 = 40*c - 2303. Let l = -4 + 3. Let n be (2 + l)*38 - 1. Which is smaller: n or c?
n
Let t = -787987/13 - -60579. Let c = -1806/65 - t. Which is smaller: c or 7?
7
Let l be 3/(4 + (-49630)/12410). Is 3722 at least l?
False
Let v = 0.1 + 63.6. Let l = 11.7 - v. Is l smaller than -1?
True
Let k = -10418/13 - -10082/13. Is k less than or equal to -25?
True
Let v(t) = 3*t - 7. Let p be v(3). Suppose -r = p*r. Suppose -y + 4 = r, -5*y + 28 = 2*i - 22. Which is smaller: i or 13?
13
Suppose 0 = -178*t + 149*t + 522. Is t at most 32?
True
Let l = -28 + 38. Let q be l/30 + 28/6. Suppose 6 = q*x - 34. Is x bigger than 8?
False
Suppose 0 = 282*x - 281*x - 30. Suppose -35*y - x = -240. Which is smaller: -1 or y?
-1
Let x(o) = 5*o**2 + 12*o - 4. Let f(v) = 9*v**2 + 23*v - 9. Let l(m) = 6*f(m) - 11*x(m). Let z be l(4). Is 5 < z?
False
Let a = -80 - -9. Let y be 4/40 + 3/(360/28). Which is bigger: a or y?
y
Let w be ((-363)/(-484))/(3/(-4)). Is w < 13/443?
True
Let h be 459000/114900 - 5/(20/16). Suppose -5 = p, 0*v + 3*v + 4*p + 17 = 0. Is h < v?
True
Let p = -1013.1 + 1013. Which is smaller: p or -5/579?
p
Let c = 5.5 + 10.1. Let x = c + -5.6. Let u = -3 - x. Which is smaller: u or 1/5?
u
Let n(l) = -33*l - 93. Let s(w) = -25*w - 94. Let p(o) = 5*n(o) - 6*s(o). Let a be p(7). Which is smaller: 12 or a?
a
Let c = -0.028 + 0.378. Let f be (52/(-572))/((-2)/(-6)). Which is smaller: f or c?
f
Let m = -4.02 - 21.08. Let v = 2070 - 2045. Let s = m + v. Which is smaller: -0.06 or s?
s
Let p(n) = n**3 - 94*n - 730. Let k be p(-9). Which is bigger: k or -608?
-608
Let c = -231 - -245. Suppose -13 - 15 = c*j. Which is smaller: j or 0.2?
j
Let p = -285 + 418. Let d = 66 + -61. Suppose -t = -3*q + 23, 6*q + p = -d*t + 3*q. Is t >= -27?
True
Let g = 0.65 + -0.23. Let d = g + -4.62. Which is bigger: d or 2?
2
Suppose a + 59*i - 13 = 61*i, 3*a + 5*i = 83. Let z be 6/a + (-28)/98. Which is smaller: z or -3?
-3
Suppose -2*k - 3*k = -50. Let c(r) = -r**2 + 9*r + 12. Let p be c(k). Suppose -12*l = -10*l - p. Is l less than -4/23?
False
Let s be ((-19)/4 + 4)*-4. Let d = -66 + 80. Is d at least s?
True
Let r = -123 - 7. Let g be (4/10)/(104/r). Which is bigger: g or 2/9?
2/9
Let g = 54813 + -2357403/43. Which is greater: -9 or g?
-9
Let l be -3*1/(-3)*-48. Let m be 50/36 - (200/l - -4). Which is smaller: m or 3?
m
Suppose -3*v = -2*v - 9. Suppose -2*q - 4*n = 3 - v, 3 = -q + 4*n. Let g = 6 + -12. Is g at least as big as q?
False
Let t(m) = -m**3 + 18*m**2 + 19*m + 1. Suppose u - 10 = -0*u. Suppose 2*p + 4*w = 46, p - 2*w + u - 25 = 0. Let k be t(p). Does -1/5 = k?
False
Let c be (-6302)/685*(2 + 66/(-34)). Which is bigger: c or 0?
0
Let r be (8/(-90))/(158/395). Let w(t) = -5*t - 6*t**2 + t**3 + 6*t + 4*t. Let l be w(5). Are r and l non-equal?
True
Let r(p) = 2*p**2 + 135*p + 958. Let b be r(-63). Is b smaller than 7?
False
Let k = 1.2199 + -0.6613. Let x = k - -0.0714. Which is bigger: 0 or x?
x
Let j = 99 + 137. Suppose 276*q = 272*q - j. Which is greater: q or -56?
-56
Let j(b) = b**3 + 31*b**2 + 227*b - 15. Let f be j(-14). Which is greater: f or 689/5?
f
Suppose 2*y - 2*x + 14951 + 32445 = 0, 3*x = y + 23704. Are -23694 and y equal?
False
Suppose 0 = v - 4*n - 11, 0 = -0*v + 2*v + 3*n. Suppose -5*a = 2*x + 116, v*a = 3*x - 101 + 23. Let s be 64/a*(-3)/(-1). Are -6 and s equal?
False
Let p be (91/7 - 12)*163. Is -25 at most p?
True
Let l(k) = k**2 + 9*k + 6. Let y be l(-9). Let r = 23 - y. Let f = 30 + -13. Is r greater than f?
False
Let s = -17226 - -16960.73. Let i = s + 4.27. Which is smaller: -2/3 or i?
i
Suppose 4*k = -0*k + 28. Suppose 5*l + 48 = 3*a + 29, -a - 4*l + 29 = 0. Is k smaller than a?
True
Suppose -762 + 774 = 6*r. Let z be (54/(-5))/(2/(-10)). Which is smaller: z or r?
r
Let k = -197.75 - -3.75. Let j = k - -191. Which is smaller: j or 2/23?
j
Let v = 55 + -70. Let a be 73/v*(-57)/(-247). Let m = a + 12/13. Is m at least -1/3?
True
Suppose 41*k + 3*u = 42*k - 46, 0 = -3*u. Suppose 0 = 5*v + 4*l - 241, -v - l - 41 = -2*v. Are v and k equal?
False
Let s be (23/8 - 3) + 151/1336. Let g = 2212 + -2209. Are g and s equal?
False
Let i be 2/(-3570)*-25131009 - -4. Let m = 14083 - i. Is 0 less than m?
True
Let x(y) = 24*y - 60. Let p be x(8). Let f = p + -121. Let q be (15 - f)/((-28)/(-2*1)). Is q greater than or equal to 0.77?
False
Let b = -25021/216 + 695/6. Suppose 3*a - h + 556 - 567 = 0, -41 = -a + 3*h. Which is greater: b or a?
b
Let a = -123 + 430. Let i = a - 7062/23. Suppose 3*f = -4*j + 11, 3*j - f + 1 = 7*j. Is j at least i?
False
Let g(n) = -280*n - 14. Let t be g(-3). Which is greater: 828 or t?
828
Let s = 115.1 - 115.7. Which is smaller: s or -27?
-27
Let p be 3/(((-79875)/120)/25). Is p greater than or equal to -1?
True
Let x = 0.14278 - 0.26678. Which is smaller: x or 39?
x
Let r = -167471.973 + 167359. Let f = r + -0.027. Let s = -123 - f. Are 0.1 and s nonequal?
True
Let l = 995813647/5348 - 186203. Let t = l - 90249/2674. Which is bigger: t or -34?
t
Let v be -684*(18/(-4) - -4). Suppose 24*d = 18*d - v. Is d <= -58?
False
Let z = 268 + -278. Let t be 4/z - ((-72)/(-30))/4. Which is smaller: t or -16?
-16
Let v = 0.0209 - -1.7791. Let g = 7.3 + -8. Which is greater: v or g?
v
Let w(z) be the second derivative of -z**5/30 + 17*z**4/24 + 8*z**3/3 + 3*z**2/2 - 34*z. Let v(a) be the first derivative of w(a). Let p be v(13). Is p != -100?
True
Let s(f) = -3*f**2 + 128*f + 357. Let n be s(59). Is n <= -2534?
True
Suppose -13268 = 73*b - 11*b. Is 6 smaller than b?
False
Let q(m) = 28*m + 398. Let u be q(-44). Let c = -809 - u. Is c < 19?
False
Suppose 11*v - 13 = -2*v. Let n be (2 + 3 + -6)/v. Is 3/19 less than or equal to n?
False
Let c = 227 + -103. Suppose -9*u = -15*u - 6. Which is greater: u or c?
c
Let i = -1390.5 + 1371.2. Which is smaller: i or 1.5?
i
Let q be 2/(-7) - 2000/7. Suppose 81*a = -538*a - 176415. Which is greater: a or q?
a
Let d(r) = -r**3 + 12*r**2 + 15*r + 13. Suppose -f + 29 = 2*l, 3*l - 3*f = 20 + 10. Let b be d(l). Let z = b - 38. Which is bigger: z or 1/16?
z
Suppose -3*j + 39 + 3 = 0. Let k = 348 - 369. Let o be (1/3)/(k/(-1071)). Which is bigger: o or j?
o
Let x(f) = -f**2 - 19*f - 12. Let q be x(-19). Let c(u) = 18*u - 126. Let r be c(q). Are r and -342 unequal?
False
Let n be 6/14 + 161845/700. Let z = n - 1159/5. Let r = 9/20 + z. Which is greater: -1/7 or r?
r
Suppose 20*t - 2789 = 4891. Suppose 2*i = 571 + 199. Which is smaller: t or i?
t
Let r = 612 + -607. Suppose 0 = -t + 4, 13*t = r*a + 10*t - 213. Let q be (-1)/3 + 278/6. Is q smaller than a?
False
Let c = 178 + -174. Suppose -4*j = 3*u + 729, -c*u + 3*j = 6*j + 972. Which is greater: -244 or u?
u