+ -0.7011. Is k smaller than q?
True
Let c(p) = -p**2 + 15*p - 9. Let x be c(14). Suppose q + 3 + 1 = 5*z, -2*z + x*q = 3. Let a = 6/7 - 2/35. Which is smaller: z or a?
a
Let l(q) = 2*q**2 + 9*q - 61. Let m be l(29). Is 1883 less than m?
False
Let k be (630/420)/((-3)/(-2)). Is 6/179 greater than or equal to k?
False
Suppose -2*u + 151*z - 158 = 147*z, -3*u - 4*z = 177. Is u > -269/4?
True
Let i = -2/5467 + 827/125741. Is i at least 0.032?
False
Let g = -195 - -194. Let p be (-126)/621*2/(-7). Is g at least as big as p?
False
Suppose 4*l + 37832 = 4*v, -l - 15583 = -5*v - 6121. Is 2/9 <= l?
False
Suppose 8*c + 11*c - 4*x + 28664 = 0, 5*c - x = -7543. Which is greater: -1503 or c?
-1503
Let v be (-1 - 68/(-64))*(52 - 36). Which is bigger: v or 8/1231?
v
Let t = -131.13 - -158.42. Do t and 0 have the same value?
False
Let u = 4387 + -4388. Let y = 9389/51 - 184. Which is smaller: u or y?
u
Suppose 7*p + 49877 = 46650. Is p equal to -3228/7?
False
Let y be (4 - 2 - 2)/(-23 - -28). Is -2/7165 less than y?
True
Let c = -0.0342 + 405.0342. Let g = c - 404. Is -83 smaller than g?
True
Suppose 3*v = 4*r - 0*r + 44, 5*v - 25 = -3*r. Suppose v*i - 2*b + 2 = 3*i, 5*b = -5*i + 5. Suppose 7*x + 5*x - 288 = i. Is x equal to 24?
True
Suppose 0 = -4*a - 5*h + 8 + 34, -3*a = h - 26. Suppose 0 = -3*x + 4*x - 4. Suppose a = -4*y + 3*f + f, -x*f + 8 = -y. Which is smaller: y or 4?
y
Let i(t) = 2*t**2 + 96*t + 456. Let j be i(-44). Which is smaller: 94 or j?
94
Let n = -6 - -28/5. Let h = -6817.771 - -6815. Let s = h - -0.071. Is n at most as big as s?
False
Let a = -202.5 + 193.5. Let p = -32 - -32. Which is bigger: a or p?
p
Suppose 173843 - 38452 = -27*k - 245444. Which is greater: k or -2/7?
-2/7
Let f = 1.05 - 1.18. Suppose -2*s - s - 13 = 2*v, -v = -3*s - 7. Which is greater: f or v?
f
Suppose 14 = -4*n + 34. Let x be (1*(-117)/(-6))/(6/(-40)). Let h be 6/10*x/(-18). Is n > h?
True
Let n = -157 - -155.67. Let o = 3.33 + n. Which is smaller: o or 25?
o
Let v = 0.4189 - -0.0551. Let s = -0.044 + v. Let u = -0.43 + s. Is 1/9 at least u?
True
Let m = -27 - -42. Let i be (m*33/27)/((-1)/(-3)). Let d = -72 + i. Is -19 at least d?
False
Suppose -34*o + 39*o - 25 = 0. Suppose -180 = o*i - 85. Is i >= -20?
True
Let v be (20244/10)/(-7)*(-5)/(-2). Let u = v + 22433/31. Does u = 0?
False
Let g = 10 - 4. Let o(y) = -217*y - 1296. Let a be o(-6). Is g <= a?
True
Let f(w) = w**3 + 18*w**2 - 40*w - 1. Let a be f(-20). Let i be a/(((-1)/7)/(-1)). Which is smaller: i or 2?
i
Suppose 5*i + 7*x - 6*x - 3 = 0, 14*x + 31 = 3*i. Is -12/293 < i?
True
Let u = -0.3 - -1.3. Let t = 0.92 - u. Let w = 8863 + -8860. Which is greater: t or w?
w
Let d be (-4)/(-30) - -2*(-12 + 3043/255). Which is greater: 10/8389 or d?
10/8389
Let y(t) = -84*t - 292. Let w be y(-33). Is 2480 not equal to w?
False
Let g = -267/4370 - -4/115. Let b = 176 - 176. Suppose -8*o + 5*o + f = 8, 2*f - 10 = b. Is o greater than g?
False
Let u(k) = -k**3 + 4*k + 2. Let s be u(-2). Let n be (1 + s)*(-7 - 242/(-33)). Which is greater: -80/11 or n?
n
Let c be 2/16 + (-696779)/(-1224) - 8/(-18). Which is bigger: 569 or c?
c
Let g = 1686 + -3067. Which is bigger: -1370 or g?
-1370
Let t = 22793.2 + -22793. Are 0.06719 and t equal?
False
Let p = 1361/465 - -44/93. Let i be 2*((-2)/(-4) - 1). Let r be i/(((-4)/6)/2). Which is smaller: r or p?
r
Let l = -11 + 37. Suppose -a + 12 = -r - l, 0 = -5*r + 4*a - 190. Let s = r + 31. Do s and -23/4 have different values?
True
Let b(l) = 7*l**2 - 8*l + 15. Let a be b(3). Suppose 0 = a*z - 49*z - 5. Let x be (3 - (22/8 + 0))/(-17). Which is smaller: z or x?
x
Let m = 32.31 - 0.31. Let k = m + -33. Let j = 3 + k. Which is smaller: -1/7 or j?
-1/7
Let v = 61 - -190. Let n(l) = v - 128 - l - 135. Let c be n(-17). Which is smaller: c or 52/9?
c
Let j = 4658 + -4658. Is j < -0.042?
False
Let i = 3102.3 - 3093.3. Let v = 14 - 9. Suppose -4 = 3*f + v. Do f and i have the same value?
False
Let s = 0.049 + 11.751. Let r = s - 8.8. Let a = 8 + -7. Which is bigger: r or a?
r
Suppose 3*g = 3*s - 15, -4*s + 24 = -5*g + 4. Let c be 0 + 3 + g - (-1100)/(-374). Is c <= -1?
False
Let u = 10176 - 8897. Which is smaller: 0 or u?
0
Let r = 31.1 - 5.1. Let i = r - 24.1. Let d = i - 1.2. Do d and -2 have different values?
True
Let v = 1640/11 - 8178/55. Are v and -86 unequal?
True
Let m = -1882 - -1880. Are -7.11 and m nonequal?
True
Let u(h) = -h**3 - h**2 + 17*h + 17. Let d be u(-1). Which is greater: d or -13/254?
d
Let d = -9.2 + -4.9. Let q = -14.1 - d. Let p = 21 + -13. Is p not equal to q?
True
Let v(k) = -28*k - 648. Let l be v(14). Is -1040 greater than l?
False
Let o be (6 + 8 + -14)*25/(-50). Let b be 158/112 - 2/7. Which is greater: o or b?
b
Suppose -k = 3*h + 9, -232*k = -235*k + 9. Is h smaller than 0.25?
True
Let p be ((-4)/((-12)/(-5)))/((-10)/12). Let z be (p/(-7))/((-154)/98). Suppose -4*y + 9*y = -5. Is z < y?
False
Suppose 1854 = 6*t - 1692. Let x = t - 588. Which is smaller: 116 or x?
x
Suppose -257 - 17 - 38 = -2*s. Let u = 2925/38 - 30843/133. Let o = s + u. Which is smaller: 1 or o?
1
Let i = -9.19 - -9. Let x = -14.81 + i. Let d = -9 - x. Which is smaller: -1 or d?
-1
Suppose -12*o - 2331 = 981. Let g be (12/8)/((-9)/o). Let l = g + -19. Is l less than 29?
True
Let c(s) = -2*s**2 - 158*s - 628. Let m be c(-72). Are 380 and m nonequal?
False
Let l be 56/21 + -3 - 1/(6/2782). Are l and -464 equal?
True
Let j be (2484/(-48) - 5)/(-1 + 0). Are j and 0.06 nonequal?
True
Let u = -0.0384 - -0.1794. Let o = 66.141 - u. Is o at least as big as 3/2?
True
Let a(q) = 66*q - 78. Let l be a(-19). Let d = l - -22670/17. Which is bigger: 2 or d?
2
Let q = -468101/10 - -46720. Which is smaller: -90 or q?
q
Let f be 38 - (-27 - -3)/4. Suppose -5*y = -4*i - 49, 6*i = 8*i + 4*y + f. Which is greater: i or -17?
i
Suppose -4*g = -0*g. Suppose 17*l - 13*l - 84 = g. Let v = 54 - l. Is 0.2 smaller than v?
True
Let k = -32.4 + 32.3. Is 1269 at least k?
True
Let w(n) = -578*n - 1155. Let c be w(-2). Which is smaller: c or 9596?
c
Suppose 54*c - 109278 = -32436. Which is smaller: c or 1422?
1422
Let v be ((-19)/(-57))/(-1*(-2)/(-78)). Let q be ((-828)/63 - v)*(-2)/4. Is q <= 1?
True
Let n be 332/(-83)*(-57)/4. Which is smaller: 508/9 or n?
508/9
Let x(n) = -n**2 - 13*n - 14. Let h be x(-9). Let q = h + -19. Suppose b = -2*y + q, b + 2 = -y + 3. Which is greater: b or 8?
8
Let t(n) = -n**3 - n**2 + 5. Let v be t(0). Suppose v*x = 56 + 324. Let j = x + -76. Is j at least 2.8?
False
Let m = -2.6 + 2.698. Let i(u) = -159*u**2 + 17174*u - 214. Let g be i(108). Are g and m unequal?
True
Let d = -107 - -359. Let a = d + -255. Is a greater than or equal to -3?
True
Let i = 208 - 206.72. Let t = i - 1.18. Is -2/9 at least as big as t?
False
Let g(d) = 19*d + 6. Let b be g(6). Let x be (b/(-84))/((-6)/21). Suppose i - x*o + 68 = 0, -3*o - 14 - 154 = 3*i. Which is smaller: i or -59?
-59
Suppose -4*d - 6 - 1 = i, -2*i - 2*d = 38. Let c = 6821 - 6834. Which is bigger: i or c?
c
Let t(f) = f - 3. Let q be t(5). Suppose 11*s = q*s. Let n = s - -2. Which is smaller: n or 8/9?
8/9
Let d be ((-6)/4)/(3/(-100)). Let j = 5257/40 - 15691/120. Is d equal to j?
False
Let j(s) = 44*s + 5. Let i be j(0). Is -0.16 not equal to i?
True
Let k = 1.665 + 0.335. Are k and -2/4369 equal?
False
Let t(c) = -33*c + 51. Let a be t(-6). Suppose -2*n - a = n. Let y = 248/3 + n. Which is smaller: y or 4/7?
y
Let k = 10 - 16. Suppose 122*q - 127*q = 25. Let b be (10/((-25)/q))/6. Which is smaller: k or b?
k
Suppose p - h = -94, -2 = 5*h + 3. Let u = p + 96. Let x = -4854/13 - -374. Is u not equal to x?
True
Let g = -6210 + 6209. Do g and 2/11501 have different values?
True
Let k = 5.3 + -5. Let q = 16092/18823 - -6/2689. Is q greater than k?
True
Suppose 4*d + 3*m = -33243, -65*d + m + 16619 = -67*d. Is d > -8307?
False
Let x = 9/3883 - 102893/834845. Is -1 less than or equal to x?
True
Let v(g) = -8*g**2 + g + 4. Let p be v(2). Let b be 7 - (-216)/28 - (-4)/14. Suppose 200 = -23*d + b*d. Which is smaller: d or p?
p
Let y be 3/(-6) - 821907/(-2052). Let i = 866 - 466. Let w = i - y. Which is greater: w or 1?
1
Let z be -1*(2 - (-1 + 4)). Let q = -4 + z. Let j be q/12 - 85/28 - 0. Is j at most -3?
True
Let i be -234 - 1 - 616/(-44). Is -216 l