 d - -24. Let z = 594 - 24352/41. Is z at least q?
True
Let t be 111/((189/35)/9). Suppose 6*l = l - t. Is l not equal to -36?
True
Let t be (-4)/18*2265/18875. Suppose d - 3 = -r - r, -3*r + 4*d = 1. Is r bigger than t?
True
Let c = -766 + 765.345. Let w = -1.275 - c. Are w and -2/5 equal?
False
Let z(g) = 3*g**3 - 5*g**2 - g + 12. Let s be z(-3). Let n = s + 110. Which is bigger: -4/25 or n?
-4/25
Let c = -24 + 24.074. Let h = c + -6.274. Let j = h + 5.3. Which is bigger: 0 or j?
0
Let j(b) = -6*b**2 - 22*b. Let q be j(0). Are -1/56 and q non-equal?
True
Let d = 259 - 345. Let m = d + 2. Which is smaller: -86 or m?
-86
Let s be 64*((-2)/4 + 39/(-26)). Let i = s + 125. Which is smaller: i or -31?
-31
Let b = -9430.46 + 9430. Is b less than or equal to 1/11?
True
Suppose -12 = -3*a - 5*s + 46, 80 = 5*a + 5*s. Suppose -2*x + 9*q - a*q - 350 = 0, 885 = -5*x + 5*q. Which is smaller: x or -178?
-178
Let s(d) = d**2 + 5*d + 4. Let g be s(-4). Suppose 7*i + 562 - 576 = g. Which is smaller: 13/25 or i?
13/25
Let u = 28476 + -13602. Which is greater: 1/3 or u?
u
Suppose -5*b + 3*f + 0*f + 156 = 0, 0 = 2*b - 2*f - 64. Let d be (-4)/14*2/b. Let c(a) = -5*a - 39. Let i be c(-8). Is d smaller than i?
True
Suppose -5*n + 4*v + 296 = 0, -4*n + 2*v = -3*v - 244. Let h = n + -58. Let l be (0 + h + 0)*(-2)/(-4). Which is greater: 14/5 or l?
14/5
Let x = 1423 - 1401. Is x < -41?
False
Let z be 1 + 3 + ((-6)/(-3) - -3). Suppose -2*w + 1 = -4*i - z, -12 = -4*w + 4*i. Which is bigger: w or -3/10?
w
Let x = 46/87 - -30476/609. Let i be (-40682)/805 - (-10)/25. Let a = i + x. Are 1 and a unequal?
True
Let x = -16 + -64. Let v = x - -87. Let r be 4/(-3) + v/21. Which is bigger: r or -2/115?
-2/115
Let h = -1573237/4358 - -361. Which is greater: 0 or h?
h
Let f = -808 + 10573. Let i be f/(-150) - 7 - (-1)/10. Which is greater: -71 or i?
-71
Let g = 439 - 438.9684. Let x = 112.9684 + g. Is -0.1 at least as big as x?
False
Let t = -25539 - -23888. Do t and -1643 have the same value?
False
Let k = 146 - 182.7. Let r = 36.6 + k. Is r less than -487?
False
Let n be ((-145)/25 - -6)*15/6. Which is bigger: n or 361?
361
Let i = 66561 + -331346/5. Which is smaller: i or 292?
i
Let g(r) = -15*r**2 + 15*r - 32. Let f(u) = -8*u**2 + 8*u - 15. Let x(p) = 7*f(p) - 4*g(p). Let k be x(-6). Which is smaller: k or -1?
-1
Suppose 3*n + v = 221, 0 = 6*n - 8*n + 3*v + 162. Let c be -1*1 + (13 - 8). Suppose t - 5*f + 65 = 2*t, 302 = c*t - f. Do n and t have different values?
False
Let p = 1668 + -1658.97. Let l = p - 10.03. Which is bigger: l or 146?
146
Let f = -461535853/10356 + 44567. Which is greater: f or 0?
0
Suppose 5*d = 3*j + d + 26, d + 11 = -j. Suppose -6*y + 12*y = -30. Let l be y/(-6) + -1 - (-70)/84. Which is smaller: j or l?
j
Let u = 0.0948 + -734.0948. Let v = u - -726. Which is smaller: 27/2 or v?
v
Let l be -3 - ((-2)/(-5) - (-502288)/(-120)). Let o = 4336 - l. Let r = o + -149. Is 6 not equal to r?
True
Suppose -15489*r + 20 = -15479*r. Let n = -1.51 + 1.4. Which is smaller: n or r?
n
Let a be (-1)/4 - (7 + 294/(-56)). Let h = 4/522763 + -122327762/159442715. Let r = -2/61 + h. Is r less than or equal to a?
False
Let t = -364 - -322. Let z = 27 - 71. Let m = z - t. Is m at least as big as -12/5?
True
Let s = 759 + -882. Let v = s - -135. Let y(z) = -z**2 + 3*z. Let h be y(3). Is v at most h?
False
Let r = -2.564 - -13.564. Let c = -0.7 + 5.7. Let b = r - c. Which is smaller: b or 1?
1
Let o = 42857 - 172929/4. Which is bigger: -376 or o?
o
Let f = -84 + 87. Let d be 16/(-40) - (-12)/5 - f. Which is smaller: 1/60 or d?
d
Let h = -61/87 + 253/609. Which is smaller: 3152 or h?
h
Let j = 2 + 12. Let w(i) = i**2 - 11*i - 22. Let f be w(j). Suppose -6*u + f*u + 210 = 0. Is u less than -3?
True
Let m be (-1729)/(-4) + (-10)/40. Suppose 0 = -8*l - 4*l + m. Suppose 0 = 37*b - l*b. Which is smaller: b or -12/41?
-12/41
Let c = -0.011 + 31.011. Let z(q) = -q**3 - 7*q**2 - 7*q - 3. Let x be z(-5). Let m = x + 52/3. Which is bigger: c or m?
c
Suppose 23*z = 25*z - 568. Let i = z - 2600/9. Is i less than or equal to -4?
True
Let d = -18/149 + 460/1341. Is d less than 1716?
True
Let m be (-6)/15 + ((-14536)/10)/(-4). Let s be 4/6 + (-770)/m. Which is smaller: s or -3?
-3
Let j(v) be the first derivative of -16*v**3/3 - v**2/2 + 2*v + 84. Let q be j(2). Which is smaller: q or 2?
q
Suppose -3*o + 195 - 504 = 0. Let f = o - -108. Which is smaller: f or -4?
-4
Suppose 0 = 3*k + 28 - 19, 2*r - 149 = 3*k. Is r greater than or equal to 119?
False
Suppose -3*a = -6*a + 36. Let n be 2 + -9 - a/4. Let t be 1*1/(-1) + 1/2. Which is smaller: t or n?
n
Let l be (1/4)/(7375/40). Let s = 29066 - 29067. Is l greater than s?
True
Let m(u) = u + 13. Suppose 0 = -3*l - 2*l + 4*d - 25, -3*l = 3*d - 12. Let g(i) = -i. Let b(q) = l*m(q) - 2*g(q). Let h be b(-7). Is -21 bigger than h?
False
Let d be (638/(-12))/11 - (-2)/(-12). Let z = 11 + d. Let l be (3/(-8)*4)/(z/32). Which is smaller: l or -6?
l
Let z be 2*(-17077)/10 + (-78)/(-195). Which is greater: z or -3416?
z
Let z be (-548)/(-6302) - (-12792)/(-46). Is z less than 1/4?
True
Let x be (-4)/12*(-14)/(-8). Let a be (-4)/8 + (-86)/(-24). Let v = a + x. Is v bigger than 4?
False
Let a be (577 - (-26 + 37))*(-22)/(-4). Which is greater: 3114 or a?
3114
Let q be (40/54 + 238/(-3213))/(1/33). Let b = 7 - 7. Suppose 0*j + 2*j - 46 = b. Is q at most j?
True
Let t be 27/6 + 26/(-4) + 6. Let s be 0 + (12/t)/(-12). Is -76 at least s?
False
Let l be (2 - (0 - 0)) + 708/(-276). Let r = 13/23 - l. Is 1 equal to r?
False
Suppose -4*s = -22 - 14. Suppose -q - 8 = -z + 1, -z = 2*q - s. Suppose z*b + 291 + 60 = 0. Which is smaller: b or -1?
b
Suppose 14*z + 412439 = -33*z - 24*z. Which is bigger: z or -5807?
-5807
Let r = -1301 + 1300.33. Which is smaller: 4/3 or r?
r
Let z = -136 - -135. Let c = 11 - z. Let y = c - -36. Is 47 at least y?
False
Let s = 9879 + -9879. Which is greater: -8/25 or s?
s
Let a = 0.04119 - -2426.95881. Which is smaller: 0.1 or a?
0.1
Let b(i) = 2*i**2 - 11*i + 3. Let p(k) = 4*k**2 - 23*k + 7. Let z(v) = 7*b(v) - 4*p(v). Let a be z(6). Let w be 32/176 - 2/a. Is w at least as big as 0?
True
Let j = 35 + 124. Let v = 59001 + -58844. Is j less than v?
False
Let a = 14 - 20. Let q = -206.11 + 0.11. Let i = -204 - q. Which is smaller: i or a?
a
Let m = 7726 - 7644. Which is bigger: m or 102?
102
Let w(q) = -q**2 - 7*q - 2. Let s be w(-6). Let p be 0*(1 - s/6). Do p and 1 have the same value?
False
Suppose 83 = -21*b + 251*b + 313. Is b smaller than 9/434?
True
Suppose 182*d - 384*d = -187*d - 15. Which is smaller: d or -2/31147?
-2/31147
Suppose 6*u = 7*u + 131. Let i = -50 - u. Let s be (i/(-15))/((-21)/14). Which is bigger: s or 3?
s
Let t(g) = g**2 - 130*g + 2529. Let h be t(22). Is h at least 169?
False
Let q = -2308321/161 + 14337. Which is bigger: q or 1?
1
Let l = 40.72 - 0.92. Let s = -1.12 - -41.12. Let z = s - l. Is z bigger than -1.5?
True
Let q be (((-305136)/(-54))/(-26))/((-15)/(-27) + -1). Which is greater: 491 or q?
491
Let a = -6604 - -6603. Which is smaller: -3.04 or a?
-3.04
Let i = -97.43 + 97.33. Is i at most as big as 18.969?
True
Let q = -2277 + 1874. Is q greater than 0?
False
Let a(v) = -v + 18. Let x be a(23). Let m be (1/4)/(x - 378/(-77)). Let b be 4*((-1)/2 - 0). Is b < m?
False
Let j = 2946 - 615718/209. Suppose -1084*g + 3*p = -1086*g - 17, 0 = p + 5. Is j at most g?
False
Let i = 74029442378592/31979 + -2314939253. Let u = i + -24/113. Which is smaller: u or 1?
u
Let i(y) = -y**2 - 13*y - 26. Let v be i(-8). Let p(d) = 45*d**2 + v*d - 19*d**2 - 23*d**2. Let q be p(-6). Is q != 23?
True
Let w(d) = -2*d - 1. Let v be w(-6). Let k = 104 - -39. Let r = k + -140. Which is bigger: v or r?
v
Let r = 11728 + -34867/3. Let j = 105 - r. Do 5/3 and j have the same value?
False
Let d = -28/9 - -103/36. Which is smaller: 7/1524 or d?
d
Let a = 9339/37 + -251. Is 1 less than or equal to a?
True
Let v(t) = t**3 - 80*t**2 + 5*t - 426. Let i be v(80). Suppose -2*b = 6, -z + 3*z = -3*b - 57. Which is smaller: z or i?
i
Suppose -f = 3*f. Let r be 3 + (-2 - 4) + 5 + -12. Let s be (-5)/110*(-24)/r. Is s equal to f?
False
Let y be (-3)/(-6)*(1 - -397). Let i be (-3383)/34*(-2)/(18 - 17). Is y bigger than i?
False
Suppose -3*c - 423