t n = 0.589 - 1.672. Which is smaller: n or 3?
n
Suppose 0 = 2*g - 2*w - 4, -3*g + 6*g = -w + 6. Suppose -12 = -4*y - 4*i, 0*y - 2 = g*y - 2*i. Is 2/1239 >= y?
False
Let i be (-676)/(-3)*(-6)/4. Which is smaller: i or -27?
i
Suppose -2*w + 14 = -o + 5, w = 5*o + 9. Let d be 6/42*o - 326/(-14). Do d and 24 have different values?
True
Let g = -1102392854/5609 - -196540. Is 1 >= g?
True
Let o = -130 + 130. Suppose -20*s - 592 - 448 = o. Is -57 equal to s?
False
Let w = -2637.02 + 2637.3. Which is greater: w or 169?
169
Let p = 45101 + -224477/5. Let i = -206 + p. Which is smaller: 0.28 or i?
i
Let f be (8 - -10)/6 - -1. Let u be (2 + -1)/((-2)/(-310)). Suppose a + u = -f*a. Which is smaller: -30 or a?
a
Suppose 0 = -14*h + 36 - 344. Let y(t) = t**3 + 23*t**2 + 19*t - 51. Let c be y(h). Is 18 at most as big as c?
False
Let q be (-30)/(-60)*32/(-1). Let h = 24 - 39. Which is bigger: q or h?
h
Let h be (-1017)/(-93) + (-747)/83. Let k = 0.79 - 0.69. Is h >= k?
True
Let m be 54 + -43 + 2*-5. Which is smaller: 2/6561 or m?
2/6561
Let j be 0 + -3 + 40/2. Suppose -4*m - j = 15. Let s be (1/7)/(4/28). Which is smaller: m or s?
m
Suppose -26 = -5*z - 2*h, -5*z + 4*h = 10 - 18. Let x be z + 0 + 2/(16/(-24)). Let k be 517/(-55)*(4 + x). Which is smaller: k or -46?
k
Let c be -6 - (-65)/85 - ((-2 - -2) + -5). Which is greater: -691 or c?
c
Let r be 0 + 5 + 1 - -78. Suppose 10*q = -74 + r. Is q less than -4/9?
False
Let j = 4704 + -4861. Which is smaller: -168 or j?
-168
Let j(b) = -b**3 - 14*b**2 + 17*b + 260. Let t be j(-14). Which is smaller: t or 115?
t
Let p = -187 + 189. Let b be (p + 24/(-15))/(304/(-190)). Let q = -0.21 - -8.21. Which is smaller: b or q?
b
Let m(r) = -r - 5. Let h be m(-6). Let o be (9 - 1)*h/(-2). Suppose 7*q - 119 = 24*q. Which is bigger: o or q?
o
Let m = -0.075 - -0.27. Let t = -134.195 + m. Which is smaller: 0 or t?
t
Let a(o) = 349*o - 1053. Let x be a(3). Suppose -4*z + 795 = d, 2*d + 8*z - 1602 = 4*z. Let k be d/12 + -3 - x/8. Does k = 64?
False
Let i(g) = 5*g**3 + 3*g**2 - 4*g. Let j be i(2). Suppose -40*k = -j*k + 284. Are 73 and k nonequal?
True
Let b(p) = -p**3 - 23*p**2 - 34*p - 12. Let c be b(-21). Let t be (c/(-7))/(-17 - -19). Is t greater than 12?
True
Suppose 10*o - 9*o = -13*o. Which is greater: o or 86/99?
86/99
Let a(l) = l + 1. Let r be a(-7). Let v be (0 - (-8 - -2))/(-3). Which is greater: v or r?
v
Let s = 15 + -11. Let y = -12.2 - -7.9. Let m = y + s. Is m <= -1?
False
Let z = 0 + 0. Let a = 656 + -738. Let k = a + 108. Which is smaller: k or z?
z
Suppose -143*y + 194*y = 1122. Is -117 > y?
False
Let m be 4/6 + (-26)/(-6). Let f = m - 17. Suppose -36689 + 36949 = -26*h. Which is bigger: f or h?
h
Suppose l = -4*d, 4*d - d + 4*l = -13. Let k be (-13 + 13)/(d - -1). Suppose -34*i + 36*i + 80 = k. Which is greater: -41 or i?
i
Let b(w) = -6*w**2 - 25*w - 15. Let d(q) = q**2. Let t(v) = -b(v) - 5*d(v). Suppose 3953 = -175*a + 1016 - 1088. Let y be t(a). Which is smaller: y or -30?
y
Let o be 7 + 0 + -9 + 5. Suppose 0 = 5*a + o*a - 8. Is 0.32 less than a?
True
Let y(f) = f**2 + 2*f + 1. Let p be y(-2). Let a be 11 - -991*26/(-2340). Is a >= p?
False
Suppose 9413 = w - 3*d + 530, 0 = -4*d + 8. Is w at most 8890?
True
Let m be 4152/(-14532)*(28/(-22))/2. Let u = -0.6 - 1.4. Is u <= m?
True
Let v = 158 + -158.008. Let x = v - -0.108. Is x < 138/11?
True
Let q = 312 + 150. Suppose -164*y - q = -171*y. Is 68 != y?
True
Let f be 37500/(-8) + 0 - 4/(-8). Let d = 117127/25 + f. Is d > -3?
True
Let s = -4.22 + 0.22. Suppose 5*t = -w - 10, -22 - 15 = 4*t - 5*w. Which is smaller: s or t?
s
Suppose -5*q - 2 = -2. Let a(v) = v**3 + 15. Let f be a(q). Let o = -16 + f. Which is greater: o or -10/11?
-10/11
Let b = -418 + 213. Let k = b - -205.3. Which is bigger: k or -4?
k
Let h(g) = -g**3 - 35*g**2 + 41*g + 257. Let u be h(-36). Which is smaller: 92 or u?
u
Let x be -152*11/4818 - -3*(-4)/(-36). Let f = 0.2 + -0.2. Is f less than or equal to x?
False
Let d = -3185 + 3205. Suppose -2*z - 44 = -4*z. Which is smaller: d or z?
d
Let a be (-5371)/(-460) + 88/220 + -8. Which is greater: 4 or a?
a
Let c = -6630 + 6581.46. Are c and 1 non-equal?
True
Let c = -10.109 + 53.157. Let f = 0.048 - c. Let w = -43.1 - f. Is 49 >= w?
True
Suppose 0 = -7*c + 13*c + 25 - 25. Which is smaller: 64/77 or c?
c
Let g = 0.4135 + -0.44. Let z = 0.0215 - g. Is z at least -2/3?
True
Let x be (-55 + 48)*(24/33 + 3). Is x at least -27?
True
Let b be 11*145498/33649 - 8/7. Are b and -2/3 nonequal?
True
Let u = 121 - 189. Let j be 4 + -8 - u/16. Which is greater: j or -56/5?
j
Let l = 124 + -87. Let p = -129 + 171. Let f = l - p. Is f greater than or equal to -5?
True
Suppose 0 = -5*u + 225*k - 230*k + 43325, -5*u + 43269 = -2*k. Is 8658 less than u?
False
Let g = -228 + 3418/15. Let u = g + 13/30. Do u and 6 have different values?
True
Suppose -11*k + 26*k = 13*k. Suppose 4*i + 2*u + 2 = k, 4*i + 8 = -3*u + 9. Is -17/26 at least as big as i?
True
Let n(m) = -m + 16. Let a be n(7). Let u = a - -2. Let i be (0 - -5)/(-35) + (-234)/(-21). Is i at least u?
True
Let c(f) = 467*f - 177. Let d be c(-3). Is d bigger than 0?
False
Suppose -4*c + 28 = d, 2*d = -5*c + 7*d + 35. Suppose c*w - w = 48. Let k be w + -10 + 17/5 + -1. Is -19 <= k?
True
Let l be 1/((-10)/20 + (-25)/10)*33. Is -786 greater than or equal to l?
False
Let u be (4/(-14) - (-10)/(-14))*0. Suppose 4*t - 54 = n, -3*t - 2 = -2*t. Let g be 1/((-30)/n) + -2. Which is bigger: u or g?
g
Let l = -4999 - -14999/3. Let o be -1 + 1/(-3)*-3. Which is bigger: l or o?
l
Let c = 19 - -119. Suppose 18*w + c = 16*w. Is 1/2 equal to w?
False
Let q be (54205/10)/1*(1 + 0)*-2. Which is greater: 0.1 or q?
0.1
Let x = -88956/5 + 17706. Let h = x - -86. Let y(c) = -c**2 + 3*c + 5. Let a be y(4). Is a >= h?
True
Suppose 4*i + 3732 + 2490 = w, 0 = w - 2*i - 6208. Which is smaller: w or 6197?
w
Let y = -14304 - -17169. Which is smaller: -2 or y?
-2
Let j(n) = -38*n**2 - 262*n - 62. Let t be j(12). Do -8678 and t have the same value?
True
Suppose -184*c + 40425 = -179*c. Is c bigger than 8085?
False
Let n be (-21)/9 + (-161182)/(-1740). Which is smaller: n or 91?
n
Let n = -1.473 + 32.473. Let m = 18 - 15. Let l be (48/15 - m)*2. Which is greater: n or l?
n
Let k(j) = 21*j + 190. Let r be k(-9). Let t be (-104)/(-20) + 0 + -4. Is t < r?
False
Let q = -169231/4 - -42080. Which is smaller: -228 or q?
-228
Let j be (-5)/2*(-44)/55. Let m be 8/(-6) + j/6. Let d be m/12*(-48)/(-64). Is 1 greater than or equal to d?
True
Let w be ((-210)/(-25) + -8)/(12/20). Let q = 10.83 - 11. Which is bigger: w or q?
w
Let w = 326.93 - 328. Let l = w - -0.32. Is l equal to -1?
False
Suppose 509*m - 514*m - 5391 = -4*v, 18 = -3*v. Which is greater: m or -5419/5?
m
Suppose -4*r - 8*r = -r + 4*r. Which is greater: r or 2/17543?
2/17543
Let u(w) be the second derivative of -w**4/4 + 10*w**3/3 - 7*w**2 + 20*w. Let d be u(6). Let h be 1*(3 - -1)*d/4. Is h less than or equal to -2?
True
Let o = 849 - 817. Let x(k) = -k**3 + 2*k**2 + 2*k - 6. Let r be x(-3). Which is smaller: o or r?
o
Let t = 5 - 6. Let d be (-55)/(-60) - (t - -2). Let a(p) = 52*p - 311. Let f be a(6). Does f = d?
False
Let r be (-12 - -3) + 52 + -43. Is 1312 <= r?
False
Suppose 53*d - 48*d + 1696 = -101*d. Are d and -36 unequal?
True
Let c be (75596/(-41))/4*1. Let w = 461 + c. Which is greater: 0 or w?
w
Suppose -135 - 105 = -5*i. Let u be (-3)/(-3) + 2 + (-1 - 0) + 0. Suppose -l = 4*p + 42 + u, 3*l = 3*p + i. Which is greater: -62/5 or p?
p
Let i = -1.9 + -2.05. Let j = 1.05 - i. Is j at least as big as 4?
True
Suppose -4606 = -6*j - 16162. Let h = j + 5689/3. Let v = h - -29. Is -1 at least as big as v?
False
Suppose i = 0, 0 = 4*g - 461*i + 458*i + 1944. Which is bigger: 2 or g?
2
Let u = 187 + -214.7. Let o = -27 - u. Let k = o - 0.9. Which is smaller: 0.06 or k?
k
Suppose -20*b - 225698 = -226578. Let g be (-10)/4*(-164)/10. Which is smaller: b or g?
g
Let u be (-15)/3 - (-67 - -52). Which is greater: u or 170/19?
u
Suppose 1887 - 1855 = 27*w + 5*w. Which is smaller: 1/4941 or w?
1/4941
Suppose 1460 = 2*l + 4*d - 1616, -4617 = -3*l - 5*d. Which is greater: 1543 or l?
l
Let k be (-628)/(-16) + -3 - 3/12. Suppose -91*x + 97*x - k = 0. Which is greater: 2 or x?
x
Let f be (68/