34. Suppose -q*h = -11*h. Is h greater than 10/39?
False
Let q = -1/21 + -430/231. Let z be 567/(-525) - (-2)/25. Which is smaller: z or q?
q
Let x = 4169 - 7083. Is x at least as big as -2914?
True
Let z = 18375 + -18375.3. Which is bigger: 1081 or z?
1081
Let w(g) = -4*g**3 - 28*g**2 + 27*g - 3. Let m(p) = p**3 + p**2 - p + 1. Let l(t) = -3*m(t) - w(t). Let c be l(-26). Do -51 and c have different values?
True
Let l(m) = -65*m + 668. Let y be l(10). Which is smaller: y or 17?
17
Let k(h) = -2*h + 24. Let r be (-1)/5 + (6 - 26/(-5)). Let q be k(r). Is q <= -10?
False
Let i be 3*1 + (-44 - -38) + 18. Let h be i/(-5)*1/(-3)*1. Is -3/47 >= h?
False
Suppose -78*f + 30130 = -57464. Which is smaller: 7 or f?
7
Let w(r) = r**2 - 3*r - 6. Suppose -6*m + 8*m = -4. Let d be w(m). Suppose -d*o + 13 = 5. Is o less than or equal to 3?
True
Let v = -9.8 + 68.8. Let s = 5.101 + -4.101. Which is greater: s or v?
v
Let q = 490033/813076 + 3/11957. Is 2 < q?
False
Let i(d) = 27*d**3 + 9*d**2 - 5*d - 4. Let o be i(-2). Which is smaller: o or -1562/9?
o
Let i = 78 - 39. Let j = i - 0. Let r = 45 - j. Is r equal to 1/2?
False
Let k = 685 - -2796. Which is greater: k or 3482?
3482
Let a = -3279 + 3244. Let g = -332 + 507. Suppose g = -5*v - 0*v. Is a less than v?
False
Let h = 25011 - 25012. Let p = 3/1366 - -1703/468538. Is h less than or equal to p?
True
Let z = -8246 + 8237. Which is bigger: z or -33?
z
Suppose -60*o + 49*o + 12 - 1 = 0. Which is smaller: o or 2/1779?
2/1779
Suppose 5*x - 4*x = 6. Let z be 77/42 + 2/12. Suppose -4*r + 18 = 2*g, -3*r - z*r = -5*g - 60. Is x at least as big as r?
False
Suppose -4*r + 7*r = 27. Suppose r = 5*z - 21. Let s be (63 + (-85 - -46))*((-45)/24 + 2). Is z smaller than s?
False
Suppose -188 = -4*w - y, 6*w = 8*y - 7*y + 272. Let m = -0.14 + 2.94. Let l = -1.8 + m. Are w and l equal?
False
Let a be (((-12)/(-200))/3)/((-5)/107720). Let f = a + 431. Let c be 1 + -1*2 - -2. Which is smaller: c or f?
f
Let s = 67052/75 + -894. Let x be 4/3*21/(-14). Let d be (-1 - x)*(-5 + 5). Is d equal to s?
False
Let m be (6*(-4 + 5))/(((-216)/(-448))/(-9)). Which is smaller: 16 or m?
m
Let p = -0.01352 - -9.01352. Which is greater: p or 230?
230
Let h = -63.559 + -2.401. Let b = 0.04 - h. Is b bigger than -2/3?
True
Let u = 119 - 182. Let v = -56 - u. Suppose v*z + 2*z + 9 = 0. Is z != -1?
False
Let g be 3/(6/(-10))*-6. Let z(o) = o - 351. Let y be z(61). Let r be (9 + y/(-30))/(6/9). Do g and r have the same value?
False
Suppose -3*d + 3*c = 390, 0 = 4*d + 82*c - 83*c + 505. Is -1610/13 bigger than d?
True
Suppose -22 + 7 = -5*c. Suppose r + 2 + c = 0. Let j = -12028/2865 + -1/573. Which is smaller: r or j?
r
Let g be (-26 - -27)/(2/(-682)). Let w = g + 334. Are 9 and w nonequal?
True
Let f = -172 + 214. Suppose -f*l - 295 = -47*l. Is 61 < l?
False
Let a = -1911 + 1911. Do a and -54/301 have the same value?
False
Let k be 125725/(-9541) + (-3)/(-21). Which is smaller: k or -12?
k
Suppose -4*k + 22 = 3*l + 2*l, -10 = -4*k + l. Suppose -179 = k*w + 115. Let g = -99 - w. Which is bigger: g or 1/25?
1/25
Let j be (8 - 1) + -1 - (-106204)/(-17703). Are j and 0 equal?
False
Let k(g) = -g**3 - 5*g**2 - 11*g - 23. Let j be k(7). Is j < -688?
False
Let n = 4659 - 4661. Is n >= -113/85?
False
Let m = 0.107 + -0.1248. Let l = m + 8.0178. Let g be 1/(-1 - (-4)/6). Which is smaller: g or l?
g
Let j = 4415124/12863773 - 2/76117. Is -1 <= j?
True
Let x(c) = c**3 + 4*c**2 - c - 5. Let g be x(-2). Suppose -4*l + 303 = -l + u, l = g*u + 85. Which is smaller: l or 101?
l
Let d = 1.2 - 0.2. Let g = d + -1. Let q be 8 + 2505/(-675)*3 + 1/3. Is q <= g?
True
Let k = -25 - -40.3. Is -0.03 at most k?
True
Suppose -14*l + 146 = 132. Let n(x) = -x**3 + x**2 - x - 2. Suppose -3*h = 3*r - 9, -3*r - 2*h + 12 = 2*h. Let v be n(r). Which is smaller: v or l?
v
Let y be (-6 + 7/1)/(-1)*(-3 - -162). Are -155 and y equal?
False
Suppose -3*w - 451 - 134 = 4*n, 155 = -n + w. Let k be 24/20*n/(-5). Is -2/5 at least k?
False
Let x = -495.42 + 468. Let s = -4.42 - x. Which is smaller: s or -0.1?
-0.1
Let j = -32098 - -31971. Suppose 5*t - 187 = -2*v, 0 = -2*v + t - 125 + 342. Let k = j + v. Is -18 less than or equal to k?
False
Suppose -13*p - 3382 = -3382. Let b be (-122)/(-236) + 1/(-2). Which is smaller: b or p?
p
Let d be (-28074)/22 + (-15)/(-165). Is -1274 < d?
False
Let v = -4 - -4.1. Let r = 157 - -27. Let y = -183.964 + r. Which is smaller: y or v?
y
Let b(d) = -d**3 + 14*d**2 + 14*d + 13. Let g(f) = -f**3 - 4*f**2 + 10*f + 3. Let q be g(-6). Let z be b(q). Let m be -17 - -14 - 4/z. Are -9/8 and m equal?
False
Let b = 11/2293 + -24239/272867. Which is smaller: 4 or b?
b
Let m = 223.395 - 178.395. Suppose 3*j - 2*j = 2. Are m and j nonequal?
True
Let m = -7.94 - 7.89. Let d = m + -1.17. Which is greater: d or 0?
0
Let j(z) = -5*z**2 + 37*z - 123. Let h(i) = -i**2 + 2. Let f(t) = 4*h(t) - j(t). Let p be f(33). Let d be 3/(-10) + 2/4. Does d = p?
False
Let x be 18/1 - 1296540/71883. Which is smaller: -2/19 or x?
-2/19
Suppose -4*q = 3*p + 5, 3*p + q - 15 = -p. Suppose -p*d = 5*c, -2*d = -5*c + c - 18. Are d and -50 equal?
False
Let z = -52280/7 - -261302/35. Let x(s) be the first derivative of -s**2 - s + 1. Let p be x(1). Is p >= z?
False
Suppose -3227*m = -3190*m. Which is greater: 17/101 or m?
17/101
Let n(w) = -w + 7. Let x be n(-22). Suppose -x + 17 = -4*u. Suppose 2*g - 44 = u*o, g - 2*g + 23 = -2*o. Is 21 less than or equal to g?
False
Let r = -2595 + 2594. Is -68/59 != r?
True
Let y = 148 + -150. Let p = -167.7 + 178. Let g = p + -10. Which is smaller: y or g?
y
Let n(f) = f**3 - 16*f**2 - 37*f + 14. Let p be n(18). Let h be 0/(-5) + p - 0. Which is smaller: -6 or h?
-6
Let u(g) = 6*g**2 + 23*g + 6. Let i be u(-4). Suppose 0 = i*y + 6*y + 16. Which is greater: y or -23?
y
Let p be -11 + (-9 - (-40)/2). Are p and -1/270 nonequal?
True
Let c = -25 - -67. Let f = -23 + c. Let l = -7 + f. Are l and 0 nonequal?
True
Let d = 2.166 - 12.496. Let r = d - -10. Let f = r - -2.33. Is 5/7 smaller than f?
True
Let t be (-73)/(-8*1/6*(-18)/48). Is t > -291/2?
False
Let g be (-810)/432*2/9. Let t = 1/12 - g. Is -6/29 greater than t?
False
Let o(p) = 2*p + 26. Let w be o(-6). Suppose 3*t = -w + 14. Suppose t = h - 7 + 80. Is h at most -74?
False
Let c = 1.2 - 0.2. Let i = -17.84 - -19.5. Let s = -1.91 + i. Are c and s non-equal?
True
Suppose -5 = 5*p + 10. Let x = 5 - p. Let r(u) = -2*u**3 + 9*u**2 - 1163*u + 4643. Let k be r(4). Is x not equal to k?
True
Let g = -5 - -12. Let w = -44 + 15. Let k = 86/3 + w. Is k less than g?
True
Let t = -1722.674 + -2.326. Which is smaller: -2 or t?
t
Let r = 847 + -847. Let o = -266 - -9577/36. Which is bigger: r or o?
o
Let i be (-6)/(-1 + 11/2) - -173. Let s be (-2 - -5)/(-3) + -169. Let d = i + s. Is 0 != d?
True
Suppose 4*p - 2*u = -17918, -3*p + 0*p + u = 13437. Let k = 138806/31 + p. Which is greater: 0 or k?
0
Let d(l) = -23*l**2 + 38*l + 19. Let s be d(6). Which is greater: -1159/2 or s?
-1159/2
Let n be ((-4269)/(-7434) + 4/(-7))*389. Let v = n + 4/59. Which is greater: v or 2?
2
Let m = 9454 + -9433. Which is greater: 680/33 or m?
m
Suppose 207 = -2*z + 4*d - 15, d = z + 104. Does -135 = z?
False
Let z be (14016/(-141985))/((-4)/40*-4). Which is smaller: -1 or z?
-1
Let b = 67 + -57.1. Let a = -3.1 + b. Let v = a - 6.92. Which is bigger: v or 1/4?
1/4
Let z = -38 - -37. Let v = -245048743/7768020 + 15178/9959. Let o = v - -361/12. Is z less than or equal to o?
True
Let b(s) = 2*s - 15. Let i be b(7). Let y be (((-108)/(-15))/(-6))/(i + 9). Suppose -2*a = -9 + 7. Which is smaller: y or a?
y
Let x = -0.15474 + 0.15474. Are 13.38 and x non-equal?
True
Let o be (-8)/(-6) - (-1)/((-15)/(-235)). Suppose -21*b = -o*b + 15976. Let a = b - -930604/233. Is a not equal to -1?
True
Suppose 2*z - 2680 = -668. Suppose -6*a + a - 3*r = z, -a - 192 = -4*r. Is -201 < a?
True
Let g = 0.04 - 16.04. Let u = -50.474 - 0.526. Let a = g - u. Is a at least 0.1?
True
Let u = 2658.1 + -2658. Which is smaller: u or 591?
u
Let x(t) = -23*t - 2. Let p be x(-1). Let n be (-14)/p + 34/24. Let j = -91 + 91.1. Is j less than or equal to n?
True
Let m be 4/(-16) + (0 - 3061/108). Let d = 86/3 + m. Let q be -1*(2 - 2 - -1). Is d at most as big as q?
False
Let h = 