ger: -0.1 or w?
w
Let y(g) = 2*g**2 + 2*g - 7. Let p be y(-4). Suppose p = -m + 21. Suppose -o = -m, -3*v + 2*o = v + 32. Is -6 < v?
False
Let h be (-36)/3 - (-39032)/2754. Is h != 0.1?
True
Let x = -1031 + 1030. Which is smaller: x or -6/13?
x
Suppose 3*p + 18 = -5*f, -4*f = -563*p + 565*p + 12. Which is greater: f or -2/7719?
f
Let b be 2/(-11) + 12/(-192)*(-36)/(-33). Are -690 and b equal?
False
Suppose 0 = t + 3*t - 92. Let x(o) = o**2 - 25*o + 37. Let z be x(t). Is 4 at least z?
True
Let f = 15 - -121. Let b be (-102)/f + (-146)/8. Are b and -17 nonequal?
True
Let f = -6.03848 + 0.03848. Which is bigger: f or 2/31?
2/31
Suppose t = 6*t - 130. Let l(x) = -x**3 + 19*x**2 + 2*x - 18. Let u be l(19). Let y(w) = w**2 - 20*w + 27. Let a be y(u). Which is smaller: a or t?
t
Suppose -53*h + 21*h + 26211 = 200803. Is -5456 equal to h?
True
Let r(v) = 2*v**2 + 6*v + 3. Let t be r(-1). Which is greater: t or -13/55?
-13/55
Let u = -6 + 6. Suppose -3*b - 6 = -3*p, u*b + 4*b = 5*p - 13. Suppose 2*h + 3*h + p = 0. Is 3 smaller than h?
False
Let r = 1067.878 - 1066.3. Is 2 at least r?
True
Let s = 16.068 + -14.631. Which is smaller: s or 2?
s
Let d(z) = 1142*z + 52555. Let w be d(-46). Let p be (-46)/(-4) - (-2)/(-4). Which is smaller: w or p?
p
Let r = -1334 - -796. Let t = 11 + r. Which is smaller: -0.1 or t?
t
Suppose -2*j + 7*j = 27*j - 154. Is 262 less than j?
False
Suppose 2*a + 2 = -0. Let k be 1/4 + -3*(-184)/96. Let s be (0 + (-3)/46)/(k/(-8)). Is a smaller than s?
True
Let t(z) = -10*z**2 + 36*z - 3. Let m be t(3). Suppose -109*y + 108*y + 11 = 0. Is y less than m?
True
Let k(z) = 8479*z**3 - 6*z - 8475*z**3 + 3 + z**2 + 4 - 1. Let s be k(2). Let l = 0.45 + -0.25. Is l equal to s?
False
Let l be 1*(50/4)/((-7)/(-14)). Let d be 0 + (0 - (-10)/l - 4). Which is greater: -5 or d?
d
Let q be 60 + (-1 - -2)/(-1). Let x = 64 - q. Suppose -4*t + x*t - 1 = 0. Is -2/25 bigger than t?
False
Let a = -35 + 27. Let j be (-4)/(-16)*-3*a. Suppose -y - j*i + 3*i - 7 = 0, 3*i + 6 = 0. Which is smaller: y or 3/17?
y
Let p = 456 + -455. Are -1/22605 and p equal?
False
Let r be (-6050)/(-33) - (-2)/(-6). Let f = -258 + r. Let h be 2 - (-10 + 83 - (0 + -7 + 4)). Which is greater: f or h?
h
Suppose -6*m + 9*m - 9 = 0. Suppose -4*v - k = -2, -2*k - 3 = m*v + k. Which is smaller: 5/38 or v?
5/38
Let g = -7.17 - -0.17. Let y = g + 24. Let f = 4496.9 + -4497. Is y greater than f?
True
Let n(l) = -l**3 - 6*l**2 + 5*l + 6. Let w be n(-7). Suppose -w*h + 1748 = -4352. Is 304 greater than h?
False
Let o be (118/(-8))/(19/2888). Do o and -2240 have different values?
True
Let v = 6996 + -6920. Is -13 less than v?
True
Let h = -49 - -34. Let s = h + 49. Suppose -1844*w = -3586*w + 65699 - 6471. Is w smaller than s?
False
Let w(f) = -489*f - 1649. Let j be w(-3). Do j and -182 have the same value?
True
Let p be ((-80)/68 + 1)/((-12)/8). Suppose 0 = 15*k + 24 + 36. Is p smaller than k?
False
Suppose 0 = 7*j + 23 - 1073. Let h be (1210/j - -2) + (-2)/5. Is h equal to 0?
False
Let t = -56087012137/15954378 - -37/966932. Let g = -49439/12 - t. Let q = -604 - g. Is q < 1?
True
Let w(c) = -c**3 - 2*c**2 - 13*c - 46. Let s be w(-3). Let t be 16/(320/(-315)) + s/(-8). Which is smaller: -2 or t?
t
Let a = -2710 - -2912. Is 2/11 <= a?
True
Let q(z) = 2*z + 26. Suppose -22 = 2*f + d + 4, -f + 3*d - 13 = 0. Let l be q(f). Let t(b) = -4*b + 1. Let x be t(l). Which is smaller: 1/2 or x?
1/2
Let w = -617 + 817. Let b = w + -200.1. Which is greater: -260 or b?
b
Suppose 0 = -r + 4*t + 388, 3*r + 2*t = 881 + 283. Is 386 bigger than r?
False
Let f = -99.8 - -92. Let u = -7.97 - f. Let v = -0.01 + 0.01. Which is bigger: v or u?
v
Let n(u) = 4*u**2 + 50*u + 443. Let k be n(-10). Does k = 338?
False
Let u = 1/574 - -503/40754. Let b(j) = -j**3 - 37*j**2 + 357*j - 136. Let k be b(-45). Which is bigger: k or u?
u
Let u = 60 + -84. Which is smaller: u or -3?
u
Let q(k) = k - 45. Let s be q(-13). Let m be (-4)/(-18) - 4/((-72)/s). Let g be (-1)/m + 7/(-21). Which is greater: -10/11 or g?
g
Let z = -241/3538 - -3/58. Suppose -4*q - 535 - 175 = 2*s, 0 = q - 3*s + 195. Let t = q - -179. Do t and z have the same value?
False
Let l(g) = g + 4. Let o be l(0). Suppose -o*x + 93 = 3*n, -3*x + 43 = -n - 30. Are 26 and x non-equal?
True
Let t be 42*22/616 + 1*3/(-6). Are -39/452 and t nonequal?
True
Suppose 3*r - 4*g = -3*g + 13024, -3*r + 5*g = -13004. Let i = -512471/118 + r. Is i equal to 1?
False
Suppose -305 = -5*c + 5. Let h be (3 - 329/c) + 5/2. Is 1 smaller than h?
False
Let f = -3/4780 - 301107/52580. Is f < 0?
True
Let c = 19 - 43. Let s = -23.89 - c. Let z = -38.3955 + 34.3955. Which is smaller: s or z?
z
Let w = -31134 - -32202.89. Let u = -1077 + w. Let m = u + 8. Which is bigger: m or -2/7?
m
Let f be (7 - 28)/(-147) - -5489*44/(-112). Which is bigger: -2156 or f?
-2156
Let j = 4983 - 4981. Is j < 499?
True
Let g = -47488 - -47488. Let i = 70/51 - 1138/1275. Which is smaller: i or g?
g
Let i be 1*15*(-16)/80 + 4/2. Is i equal to -1/204?
False
Let s = -0.04737 + 2976.04737. Which is bigger: s or 0?
s
Let i = -243.96 - -244.96. Which is smaller: 0.455 or i?
0.455
Let v = 1.4 + 61.6. Let w = -962.21 - -963.21. Which is greater: v or w?
v
Let z(y) = y**2 + 7*y + 12. Let k be z(5). Let c be (-16)/k + 11/9 + 0. Let j be 2/(-1) - 156/(-87). Is j at least as big as c?
False
Let s = 4793 - 9691/2. Which is smaller: s or -0.1?
s
Let u = 173 + -128. Let p be u - 2*(-7)/(-28). Is 45 not equal to p?
True
Let x = -1996.62 - -1996.52. Let k = 0.02 + -0.017. Is k < x?
False
Let p be ((-3)/(-6) + (-5)/10)*-1. Suppose p = 2*i + 2*i + 5*x + 645, -4*i + 2*x = 666. Which is smaller: -166 or i?
-166
Let o be 5 + -8 + (-245976)/645. Let z = o + 1919/5. Do z and 0 have the same value?
False
Let a = 4/21399 - -69782/8281413. Is 1 less than or equal to a?
False
Suppose 4*a - 4 + 68 = 0. Let k be (-6)/12*(-60)/(-2). Let c = k + -2. Which is bigger: c or a?
a
Suppose 5*z - 1155 = -6*g, 2*z + 99*g = 103*g + 462. Do z and 201 have the same value?
False
Let r be (452/(-228) + 2)/((-4)/90). Let b = r - -673/2090. Let q = -18/55 + b. Which is smaller: 1 or q?
q
Let y(u) = 6*u - 46. Let a be y(8). Suppose -2*j - 12 = -4*f, 4*f + 13 + 17 = -5*j. Let o be (-8)/3 - j/9. Which is smaller: o or a?
o
Suppose 5*l = j + 5, -4*l = -5*j - 3*l + 23. Suppose 4*t = 8*n - j*n - 1180, 4*t + 1172 = n. Is -292 greater than t?
False
Suppose -13*v - 61*v = 8*v + 3138960. Which is greater: v or -38281?
v
Let q(d) = -d**3 - 14*d**2 - 13*d + 25. Let u be q(-13). Suppose u*b - 35*b = 10. Which is smaller: b or -176?
-176
Let a = -1919 + 1894. Is -185/7 smaller than a?
True
Suppose 5*r - 17 = 3. Let g(o) = -2*o**3 + 36*o**2 + 351*o + 11. Let l be g(-7). Does r = l?
True
Suppose 0 = 3*k + 35*k + 7182. Let i be (-8)/36 - (-552)/k. Which is greater: -4 or i?
i
Let o = -404.5 + 418.5. Is 152/11 < o?
True
Let p = -27.553 - -32.3. Which is smaller: p or 0?
0
Let q = -2/35 + -1/7. Let t = -1033531/15 + 68902. Are t and q equal?
False
Suppose -37 + 12 = 3*k + 5*s, 5*s = 20. Which is greater: k or 78?
78
Let y(q) = -2*q**3 + 29*q**2 + 2*q - 127. Let z be y(14). Is 89 at least z?
False
Let s(j) = -2*j - j**3 + 15 - 35*j**2 + 14*j**2 - 44. Let y = -881 + 860. Let a be s(y). Are 12 and a nonequal?
True
Let a = -0.34 - -61.34. Let l = a + -48. Let y = -20 - -61/3. Is l greater than or equal to y?
True
Let n = 13639 - 13639. Is n at least as big as 2/27433?
False
Let r = 1584 + -22173/14. Which is smaller: r or -229?
-229
Let d(g) = -521*g - 3647. Let l be d(-7). Is l less than 1/808?
True
Suppose 2*b + 2 = -j - 3*j, b - j = -1. Let y be 1688/(-60) + (-22)/(-165). Let o be y + -7 - 3*b. Is o less than or equal to -32?
True
Let q = -9.3 + 6.3. Let h = 97 + -91. Let u be 20/h - 6/(-9) - 6. Which is smaller: u or q?
q
Let w = -596 + 600. Suppose -4*o + 4*k - 248 = 0, -9*k + w*k = -o - 58. Suppose 0*q + 2*q = -126. Is o at most as big as q?
True
Let y = 9901 + -9175. Which is greater: y or 727?
727
Let b = -28 - -61. Let z = 31 - b. Let m be (-2)/13*(-8 - -3)*z. Do m and -1 have the same value?
False
Let a = -12423/2 + 6211. Which is greater: a or 143.2?
143.2
Let y = 58/17 + -1573/476. Let b(t) = 3*t**2 - 2*t + 31. Let a be b(5). Let o = -97 + a. Is y greater than or