r 0.3?
s
Suppose 61*n - 664 + 1945 = 0. Let a be (-43)/(-4) - 3/(-12). Is n bigger than a?
False
Let t = 141.77 + -133.2. Let q = t - 0.57. Let d = -8 + q. Which is bigger: 1 or d?
1
Suppose 37 - 16 = p. Suppose 0 = 2*g + t + p, 4*g = 3*g + 5*t + 6. Let f be 88/99 + 2/g. Which is smaller: f or 0.2?
0.2
Let o be ((-14)/(-10) - (-153)/255)*8123/(-2). Which is smaller: o or -8124?
-8124
Let i be 8/(-21)*(-279)/(-6). Suppose 5*r - 5*d = -150, -r + 577 = 5*d + 541. Is r equal to i?
False
Let y = 8.54 - -34.66. Let b be 4*2/(-2*6). Which is greater: b or y?
y
Suppose -4*k + k - 5*r - 69 = 0, -28 = k + 2*r. Let v(i) = 4*i + 1 + i**2 + 3 - 1. Let m be v(-4). Which is smaller: m or k?
k
Let l(m) = 66*m**2 - 99*m - 316. Let k be l(-5). Are 1829 and k unequal?
False
Let t be (-2)/(756/615)*18/(-135). Let b = 1/189 + t. Which is smaller: b or -3/2?
-3/2
Suppose 41*c + 14045 = 4492. Let h = -182 - 50. Which is greater: c or h?
h
Let d be 6587020/605 + (-4 - (-144)/33). Which is bigger: d or 10887?
d
Suppose 41 = -32*f - 10*f + 251. Suppose 3*q + 0*q = 5*x - 117, -4*x = q - 80. Is x at least f?
True
Let i = 11421 - 11421.01467. Do i and 0 have different values?
True
Let k = -1610 - -1486. Is k at most 4?
True
Let k(t) = 42*t - 338. Let v be k(10). Let s = -41 + 123. Are s and v unequal?
False
Let f(b) = b**2 - 4*b + 15. Let s be f(5). Suppose 0 = p + o - 4, -4*o = 2*p + o - s. Let z(l) = l**3 - l**2 + l - 5. Let d be z(p). Which is greater: -7 or d?
d
Suppose m - 14 = -3*i, m - i + 5*i = 19. Let r = 9672 - 222449/23. Which is smaller: r or m?
m
Let v be ((-1394)/(-32800))/((-16)/(-3790)) - 10. Which is bigger: 0 or v?
v
Let v = -187 + 197. Let n be ((-4)/5)/(2/v). Is -23/5 less than n?
True
Let c = -46 + 45. Let z = -2 + c. Let b(r) = 47*r - 193. Let f be b(4). Which is smaller: f or z?
f
Let y = -666 - -1031. Let g = -364.702 + y. Let h = g - 0.098. Which is smaller: h or 34?
h
Let p be (-1563)/(-9) - (-2 + 5/3). Let x be (4 + -4)*-1 + p + -1. Is x at least 0.1?
True
Let v be 2/((-12)/9)*-30. Let x be 181/390 + (-9)/v. Let f = x + -22/39. Which is smaller: -1 or f?
-1
Let v = -26157/220 - 102/55. Which is bigger: v or -121?
v
Let g = -45 + 22. Let o = -72 - -94. Let b = g + o. Is b smaller than 13?
True
Let p = 106 + -106.264. Let j = -12.264 - p. Is -1/3 bigger than j?
True
Let p = 64 + -38. Let h = 113.7 - p. Let m = 88 - h. Does -5 = m?
False
Suppose -34*l + 463 = -191 - 94. Let y(g) = -10*g + 0 - 7 + 4*g. Let h be y(-5). Is l bigger than h?
False
Let p be 2 - 28/5 - (17 - 20). Which is bigger: -272 or p?
p
Let m be 341/(-22)*(2 + 0). Let y = -0.102 + 0.002. Is m < y?
True
Let q(v) = -3*v**2 + 2. Let p be q(-1). Let w be (86/(-129))/(p + (-14)/(-18)). Let s be -5 + 0 + 6 + 4. Which is smaller: w or s?
w
Suppose -2794 = 3*r + 19*h - 24*h, 3*h - 4662 = 5*r. Which is smaller: r or -2798/3?
r
Suppose -1744547 = 118*s + 861766 + 4201. Is s at most -22122?
True
Let x = 0.744 + 0.146. Let m = -0.11 - x. Let z = 159 - 186. Is z at most m?
True
Suppose 15*z = 26559 + 6046 + 3755. Is z >= 2422?
True
Let f = 13 + -24. Let z(o) = 24*o + 1. Let n be z(f). Let u = n - -3417/13. Is -1/2 greater than u?
False
Let u be 16/10*(-250)/50. Let w be 1/(-5)*(u + 8) + 63. Does 1/2 = w?
False
Let x = 26.47 - 28.363. Let y = 0.193 + x. Is 0.4 at least as big as y?
True
Let x be (-34)/(-153) - (-141720)/(-636768). Which is bigger: x or 1/2?
1/2
Let w = 5/111 + 98866/777. Does w = 126?
False
Let h(m) = -2*m**2 - 14*m - 25. Let f be h(-15). Let n be 12/16 + (0 - f/(-140)). Is 0 greater than n?
True
Let i be ((-2205)/(-105))/(2/(-66)). Is -693 > i?
False
Suppose -4*f - 2008 = -4796. Suppose -14*u - f = -137. Let g be 1/(-57)*5*16/u. Which is smaller: g or 0.1?
g
Let o be (-28 - (-410)/15)/((-89)/(-375)). Is o at least -3?
True
Let w(r) = 4*r**2 - 613*r - 18. Let l be w(153). Let z(x) = -45*x + 7. Let u be z(4). Which is greater: u or l?
l
Let d = -1.3587 + 9.3587. Is d != 68.2?
True
Let q be ((-2)/(-37))/(20/(-350)). Let j = 2423/2405 + q. Which is bigger: j or 0?
j
Let x be ((0/(-4))/5)/(0/(-2) + -1). Do 10/3617 and x have the same value?
False
Let l be (-2 + 1)/((-4)/20). Suppose 0*j - 2*j - 159 = l*d, 3*d = -j - 82. Is j bigger than 2?
False
Let u = 0.619 + -5.979. Let b = u + -5.64. Let t = -4.4 - -4. Which is smaller: t or b?
b
Let m = 0.28 + -0.3. Let f = 480031/15500 - 960/31. Let v = -201/500 + f. Which is smaller: v or m?
v
Let c(d) = d**3 - d**2 + d + 22. Let j be c(0). Suppose -4256 - 1876 - 1980 = -338*n. Which is bigger: n or j?
n
Let v be 4*8/32*7. Let a be (-1)/(-4*v/420). Which is greater: a or 18?
18
Let q(d) be the first derivative of d**4/4 + 4*d**3/3 + d**2 - 4*d - 19. Let w be q(-3). Let v be ((-4)/(-1) - 2 - -8) + w. Does 9 = v?
True
Suppose 314*t - 41*t + 597870 = 0. Which is smaller: -2192 or t?
-2192
Let u be ((-28)/21)/(12 + 360/(-27)). Let z(k) = -k. Let f be z(-1). Is f less than u?
False
Let k be (136/(-9770))/(40 - (-3762)/(-95)). Do k and 1 have the same value?
False
Suppose 4*c + 13*t + 30 = 0, -19*t - 10 = -14*t. Does -6/629 = c?
False
Let b(s) = s**2 + s + 33. Let g be b(0). Suppose -48*r + 52*r - 160 = 0. Which is smaller: g or r?
g
Let v = 4022 + -24107/6. Do -6 and v have different values?
True
Let p = 21118 + -20295. Are p and 0 unequal?
True
Suppose z + 6*z - 3834 = -11*z. Is 223 greater than or equal to z?
True
Let c be 56970/21311*1/(-1). Which is smaller: -2 or c?
c
Let o(i) = i**3 + 13*i**2 + 26*i - 11. Let q be o(-3). Which is smaller: -2/911 or q?
-2/911
Let i be -5 - 2/3*(-180)/24. Suppose i = -2*b - 9*b - 5*b. Is b greater than 15/41?
False
Let h = 15639/8891 - -3/523. Let n = h + -2. Is n greater than or equal to 0?
False
Let u = 53751 + -2956048/55. Let s = -3/11 + u. Let r = s - -271/10. Which is bigger: 33 or r?
33
Suppose 2*q - 36 + 294 = 0. Let t = 69 - 69. Let g be t + (1 - q/(-4)). Are -32 and g non-equal?
True
Suppose -21 = -12*k + 7*k - 2*w, 3 = 3*k - 2*w. Suppose 5*p = k*p - 508. Which is bigger: p or -253?
-253
Suppose c = -0 + 2. Let m be (c/4)/((-9)/108). Which is smaller: 2/27 or m?
m
Let w = -6 - 12. Let o = 53.92 + -51.3. Let q = -2.62 + o. Is q greater than or equal to w?
True
Let o = 24 - 47. Suppose -2*b + 321 = 5*a, -2*a + 10*b = 5*b - 140. Suppose a = -5*s + 2*l - 46, s + 5*l + 33 = 0. Is s not equal to o?
False
Let u = 3.912 + 6.368. Is u >= 2?
True
Let v(h) = -36*h + 30. Let a(j) = 7*j - 6. Let i(g) = 21*a(g) + 4*v(g). Let q be i(2). Let n = 1.09 + 62.91. Which is bigger: n or q?
n
Let z(t) = -t**2 - 4*t - 3. Let x be z(-3). Let v(h) = -h**2 + 2*h + 2. Let n be v(0). Let q be (n*(-1)/29)/((-10)/60). Which is greater: q or x?
q
Suppose -6253*c = -6255*c - 15472. Which is smaller: -7734 or c?
c
Suppose 0 = -3*u - 7*l + 240, 5*l = -4*u + 8*l + 320. Which is smaller: u or 43?
43
Let z be (15/9)/(11/1551). Suppose 5*q - 272 = b, -4*q + 5*b - z = -8*q. Are q and 60 equal?
False
Suppose -63 = 18*t + 261. Let j(y) = -29*y - 289. Let n be j(t). Are 232 and n non-equal?
True
Let q = -0.058 - -0.126. Let p = q - -154.932. Which is bigger: p or -1?
p
Let u be 15523/133 - 4/(-14). Let y = 139 - u. Let v(j) = 2*j - 44. Let n be v(y). Is n bigger than 1?
False
Suppose -5*z + 3*c = -z + 564, z = -5*c - 118. Let x = -139 - z. Let k = -3 + 4. Is k bigger than x?
True
Let j be 132/110*140/(-3). Let z = -133 + j. Is z < -571/3?
False
Suppose 13*t - 2 = 11. Let x be 1 - (1 - 0)*(-4)/t. Suppose 3*g + x*b = 16, 0 = -g - b + 3 + 5. Is 53/4 equal to g?
False
Let x be 0 - ((-25)/5 + 0). Let s be -4 + (-7)/(7/x). Let y be 4 + (-39)/(s/(-3)) + 2. Is -6 less than or equal to y?
False
Suppose 4*f = -3*h - 43, -f + 0*f - 5*h + 2 = 0. Let a = 38 - 32. Suppose -a*o = 69 + 21. Which is greater: f or o?
f
Let a = -3 + 8. Let k be ((-6)/12)/((-2)/20). Suppose -a*y - 9 = -m, -k*m + 2*y - 39 = -2*y. Which is bigger: m or -1?
-1
Let y = 614.45801 - -2.46849. Let s = -617 + y. Is s at most 0?
True
Let m(v) = 0*v - 2*v + 7 - 3*v. Let u be m(-6). Let i be (-14)/2*1 - (-15840)/352. Which is smaller: u or i?
u
Let q be 18/(2/(-82)*-1). Let y be 1/((3/q)/(1/3)). Let c = -119 + y. Which is smaller: c or -38?
-38
Let d = -62.3 - -62.4. Let r = -82 + 78. Which is greater: r or d?
d
Let d = 341571/22 + -15527. Which is smaller: d or -2?
-2
Let d(v) = v**2 