1 = -3*s - 4. Suppose -4*u + 27 = r, -r + h*r = 2*u + 4. Let t(a) = 7*a + 62. Let y be t(-8). Which is smaller: r or y?
y
Let h be ((-4)/7)/((-10)/7). Let s = -107.912 - -108. Let v = 5.012 + s. Do v and h have the same value?
False
Let c = -12000 - -5435998/453. Suppose 3*o + u + 8 = 0, -2*o + 20 = -3*u + 7. Which is bigger: o or c?
c
Let z = -3.4 - 1.6. Let k = z + 0. Let d = 52 + -52. Is k not equal to d?
True
Let s(p) = p**2 - 43*p + 418. Let l be s(28). Let a be 6*(-3 + (-492)/(-184)). Is l smaller than a?
True
Suppose 3*l - y = -65567, -4*l + 9*y = 13*y + 87412. Let a be l/(-195) + 3/(-39). Which is smaller: a or 113?
a
Let z(q) = -24*q - 143. Let c be z(-6). Is c bigger than 8/235?
True
Let u be 2 - ((-7)/(-3))/1. Let z = 239006.002 + -239006. Do u and z have the same value?
False
Let f = 729 - 171. Let w be (f/96)/((-12)/16). Does -8 = w?
False
Suppose j = -7, 39*z + j = 36*z + 4442. Is 1478 equal to z?
False
Let g = 151.8 - -19.2. Let t = -172 + g. Let i = 3/14 + 2/7. Is i greater than t?
True
Let h be 1/(-7) + 222/(-14). Let o = -26 - h. Let t be 3 - (-1 - o/2). Which is smaller: 4/11 or t?
t
Suppose -18*c - 4825 = 7*c. Let q = -154 - c. Let y be (1*20)/(1/2). Is y at most as big as q?
False
Let a be (40/8 - 5) + -52. Suppose 5*w - 63 = x, 2*x = -4*w + w - 61. Let j = x - a. Which is bigger: j or 29/2?
29/2
Let x = 270 + -270. Let s = 73 - 73.11. Do s and x have the same value?
False
Let z = 5597/36 - 629/4. Which is smaller: z or -2?
-2
Let l = -3.91 - -3.51. Is -1/344 != l?
True
Let v(n) = -36*n**3 + 2*n**2 + n. Let s(q) = q**2 + 5*q - 37. Let x be s(-9). Let k be v(x). Which is bigger: k or 1?
k
Let a(t) = -t**3 - 30*t**2 - 28*t + 29. Let s be a(-29). Let g(f) = f**3 - 3*f**2 + 2*f + 1. Let v be g(2). Let y be 460/232 - (3 - v). Which is bigger: y or s?
s
Let l = 1926 + -1922. Is -2/2135 not equal to l?
True
Let t = -52 - -36. Let j = t - 22. Let l = -38 - j. Is l > 0?
False
Let z = 37368 + -37712.02. Let n = z + 345. Is 3 at least n?
True
Suppose 361*r - 2916 = 4307 + 719. Is r equal to 134?
False
Let q = -51954193646/13993209 + -4/1554801. Let o = q + 3712. Which is smaller: -1 or o?
-1
Suppose -3*o = 15, -2*o - 18 + 7 = -k. Let m be 1425/(-2926) + 2/4. Is k at least m?
True
Let q = 1396 - 1395. Which is greater: q or -773?
q
Let c = -157199 - -157197.8. Let p = 19 + -43. Which is smaller: p or c?
p
Let h be 9/(-2)*(-58)/(-6960). Let u = -22 - -23. Are u and h equal?
False
Let q(k) = k**2 - 29*k - 27. Let d be q(30). Let y(i) = -7*i + 7. Let l be y(d). Is l at most -12?
True
Let v(j) = 113*j**2 - 125*j - 5. Let d be v(2). Which is bigger: 193 or d?
d
Let k(q) = -17*q**2 - 6*q - 5. Let a be k(7). Let p = 551 + a. Do p and -330 have the same value?
False
Suppose -3*u = 4*t + 1784, -u = 5*t + 1768 + 451. Which is smaller: t or -1773/4?
-1773/4
Let v be 182/(-42)*3/(-603). Is v less than 1?
True
Suppose 0 = 6*x - 11*x + 245. Suppose 2*b + 2*b - 256 = 0. Let k = b + -16. Are k and x unequal?
True
Let v be (1/(-17))/((-1)/1). Let r = 188 - 166. Suppose g + 5*i + 3 + r = 0, 0 = -4*g + i + 5. Which is smaller: g or v?
g
Let d(u) = 4*u - 16. Let j be d(10). Suppose -2*g - 50 = 6*a - 2*a, g + a + j = 0. Let n(o) = -2*o + 31. Let f be n(27). Is f bigger than g?
False
Let i = 419.9042 - -0.0958. Let y = 428 - i. Do y and 8 have the same value?
True
Let g be (-5 - 2245/(-55)) + -10. Is g greater than 27?
False
Let k = -0.054 + 0.474. Let i(x) = 4*x**3 - 44*x**2 - 1. Let f be i(11). Is k smaller than f?
False
Suppose 2*l - 3879 = -3*c, -3*c - 1006 = 4*l - 8767. Suppose 0*q - 3*q = 5*j - l, 0 = -5*q - 15. Is j >= 389?
True
Suppose 18*c - 20*c = -16. Suppose -c + 1 = 7*t. Is t bigger than 8/29?
False
Let p = -51.9 - -52. Is p at least as big as -345.3?
True
Suppose -f = 4*f - 2*j - 1148, 0 = -3*f + 7*j + 712. Which is smaller: 226 or f?
226
Suppose p - 130 - 10503 = -3*r, r - 3547 = -3*p. Is 3544 less than r?
False
Let m = 20470.9 - 20471. Which is bigger: m or -158?
m
Let r = -6968 + 6972. Is r < -281?
False
Let o = -119 - -118.31. Let p = 11.04 - 10. Let g = o + p. Is 1/3 > g?
False
Suppose -u = v - 147, 0 = -5*u + 11*v - 6*v + 735. Let j be ((-64)/(-48))/(-2 - (-446)/222). Are u and j nonequal?
True
Suppose 257 = 7*b - 1101. Let k = -194 + b. Let i = 2 - -7. Which is smaller: i or k?
k
Let o be -3 + ((-167141)/83582 - (-1 + -4)). Are 1 and o nonequal?
True
Let u = -1 + 2. Let b be 0 - (u + (-1 - 1)). Let s = 2577208/59 - 87363/2. Is s bigger than b?
False
Let t be (15/(-6))/(2/(-12)). Let y be 6/(-8) + (-9860)/(-11832). Is t at least as big as y?
True
Let m be -2*1/3*21/14*-147. Is m < 152?
True
Let a(b) = 3*b**3 + 2*b + 2. Let w be a(0). Suppose 45 = 5*k - w*m, k + 3*m = -2*k + 27. Which is smaller: k or 2?
2
Suppose -2*w - 290 = -0*w. Let m = -102 - w. Suppose 7*b = -29 + m. Which is smaller: 3/7 or b?
3/7
Let s be (2 + (-10)/6)*468/12. Suppose 49 = s*f - 29. Is f bigger than 40/7?
True
Let x be (-4 - (-451)/110)*-10. Which is smaller: x or 2/13941?
x
Let a be (-64528)/10754 + 1404/(-104)*(-4)/9. Which is smaller: a or 0?
a
Suppose 2*v - 32 = -41*l + 38*l, l = -3*v - 1. Is 499/37 less than l?
True
Let l = -9 + -13. Let x = -112 - -299. Suppose -186*f - 3 = -x*f. Is l greater than f?
False
Let c be ((-3)/6)/(1/(-2)). Let z = 2050/51 + -16043/408. Is c less than z?
False
Let x = -9154 - -9155. Do 1932 and x have different values?
True
Let f = 79522980505 - 14075607346889/177. Let i = f - -224844. Let l = -2/177 + i. Is -7/5 at least l?
False
Let y be (-24)/264 - 14254426/(-2046). Let a = y - 6967. Is a smaller than 1?
True
Let j(r) = 4*r**2 + 68*r + 40. Let l be j(-17). Let u be l/(-110) - (-142)/209. Let w = 1 - 1. Is w at most as big as u?
True
Let l be 0*(-2)/6*60/(-100). Let i = -0.085 - 0.115. Is l <= i?
False
Suppose -4*w - 2*f = -31 + 3, -3*f + 30 = 4*w. Let p be (w/(-4))/(3/(-28)). Suppose -p*j = -9*j + 85. Which is greater: j or -16?
-16
Suppose 5*k + 4*i = -528, -k - 123 = -1853*i + 1848*i. Which is smaller: -861/8 or k?
k
Suppose -3*s = -2*t - 26, 0 = s - 4*t - 6 - 6. Suppose 23*g = 19*g + s. Let f be (g - 0)*3/12*-2. Which is greater: f or 1/129?
1/129
Suppose -5*t - 3*b + 3675 = 0, t - 714 = b + 29. Suppose -348 = 6*o - t. Which is smaller: 64 or o?
64
Suppose -5*n = 4*v - 8945, 124*n = -5*v + 119*n + 11185. Does v = 2240?
True
Let q = 1 + -1.02. Let t = q - 1.38. Let j = 0.09 + -2.09. Which is bigger: t or j?
t
Let v be (-4)/(-22) + -1*1692/(-132). Suppose -3*u + v - 9 = w, 4*w - 3*u - 61 = 0. Is 35 >= w?
True
Let r(j) = 2*j**2 - 101*j - 2407. Let s be r(68). Is s greater than or equal to 339?
False
Suppose 3574 + 33753 = -718*j - 9. Let q be -114*(6/4 + -1). Which is smaller: q or j?
q
Let n = 10745 - 472775/44. Which is smaller: n or 0?
0
Let o = 1289.074 + -1289. Let a = 138.8 + -140.374. Let s = o + a. Which is smaller: -1 or s?
s
Let i = -4435756/937 - -4734. Is -2 < i?
True
Let w(u) = 132*u - 1017. Let z be w(12). Is z < -2?
False
Suppose 4*i = 4*f - 1568, 8*f = 8*i - 5*i + 3176. Which is bigger: -0.28 or f?
f
Let g = -16072 + 13984. Which is bigger: g or -2086?
-2086
Let g(b) = 16*b**2 + 2*b - 2. Let z be g(-2). Suppose 98*t + 132 = 124*t - 1402. Which is bigger: t or z?
t
Let d = 8916 + -8789. Which is smaller: 7 or d?
7
Let d be (-3 - ((-10)/4 - 2))*-68. Let p be (d/40)/(12/(-64)). Let u be -5 + -5*(-1)/5 - -18. Which is greater: u or p?
u
Let b be -1*((-18)/(-12))/((-2)/4). Suppose 0 + b = f. Let k be (1*(-2)/6)/(f/(-9)). Which is smaller: -1/85 or k?
-1/85
Let z = 3.5 + 0.5. Let r be (9135/7308)/(2/(-18)*1*-5). Are z and r equal?
False
Let k = -72.046 - -72. Let r = k - -1.046. Which is greater: 271 or r?
271
Let r = 4211 + -46206/11. Which is greater: 9 or r?
r
Let z = 167889 - 1242210703/7399. Let q = z + 581342/7399. Which is smaller: q or 80?
q
Let y(t) = t**2 + 13*t + 25. Suppose -3*f - 4*d = 161, f = -0*f + d - 42. Let c = -58 - f. Let u be y(c). Do 4 and u have different values?
True
Let s(v) = -v**2 + 95*v + 9952. Let j be s(-63). Suppose 2*x + 4*w - 54 = 0, 5*x + 0*w - 135 = -4*w. Which is smaller: j or x?
j
Let d(w) = w + 9. Let r(x) = -x - 3. Let t be r(6). Let b be d(t). Let q be 525/(-91) + 30/(10 + -5). Is q smaller than b?
False
Let x = 1599 + -1679. Which is bigger: 0.1 or x?
0.1
Let w be ((13 + 