 greater: 19 or t?
t
Suppose 3*t = 8 + 7. Suppose -5*r - 14 = -4*u, -u + 0*r + 11 = -t*r. Let w be 3/(0/5 - -1). Which is smaller: u or w?
u
Let u be (78/(-156))/((-2)/788). Suppose -5*k - u = -37. Which is greater: k or 6?
6
Suppose -5*i = -2*z + 75, -2*i + 144 = 32*z - 27*z. Let k be 139 - (-15)/(z/8). Is k > 143?
False
Let h = -0.537 - 331.463. Let u = 336 + h. Which is bigger: u or -2/5?
u
Suppose 0*h + 3*g = 5*h + 96, -4*h + 3*g = 78. Let u be -8 + ((-7)/(-21))/((-3)/h). Is -20 greater than or equal to u?
False
Let x = 37 - 31. Suppose 0 = x*z + 4*z + 1800. Let o be z/35 - 2/(-14). Which is greater: -6 or o?
o
Let t = 438 - 438.1. Which is smaller: -1211 or t?
-1211
Let z = -767/168 + 41/24. Suppose -70*c - 163 = 114 - 67. Do c and z have the same value?
False
Suppose 0 = y + 4*q + 3, -3*y + 4*q = -103 + 96. Is y at least 66/245?
True
Suppose -1 = 79*m - 2 + 1. Do 1/10989 and m have different values?
True
Suppose 0 = -2*g + 72 + 112. Let c be (-1 + -422)/((-8)/(80/15)). Suppose -3*s - 4*v + c = -7*v, -3*v = 9. Is g greater than s?
True
Let q be (340693/(-47044)*-2)/(571/(-10169)). Let k = q + 1/706898. Let t = k + 258. Are t and -2/19 equal?
False
Let k(j) = -3 - 4 - 15 - 59*j**2 + 60*j**2 - 15*j. Let b be k(17). Is 10 equal to b?
False
Let d = 121.22 + -86.22. Which is bigger: d or -68?
d
Let r(v) = 4*v**3 + 3*v**2 + 23*v + 67. Let p be r(-12). Which is smaller: -6690 or p?
-6690
Let b be 8/(264/11)*(-435)/(-1). Let o be 29/b*(546 - 1). Is 217/2 < o?
True
Let n = 57 - 52. Suppose -n*v - 112 = -2*m, -3*v + m = -m + 68. Let b be v/(-3) - (-8)/(-24). Do b and 4 have different values?
True
Suppose -m - m + b - 281 = 0, 0 = -m - b - 145. Let y = -567/4 - m. Which is greater: y or 2/3?
2/3
Let v be 230832/(-1176)*35/(-3). Is 2291 at least as big as v?
True
Let t(l) = -18*l + 29*l - 23*l - 6 - l**2. Let g be t(-11). Suppose v = 7*v + g*v. Do -1 and v have the same value?
False
Let u(t) be the third derivative of 5*t**4/24 - 25*t**3/6 - 72*t**2. Let g be u(5). Which is smaller: g or 8/13?
g
Let f = 7327 - 7323. Is f < 20/7?
False
Let c(k) = k**2 + k - 3. Let p be c(-3). Suppose 2*o - 4*z + 2 = 4*o, -p*o = -2*z - 19. Suppose -3 = o*b - 4*b. Are -1 and b unequal?
True
Let t = 3937.66 - 3936. Is -19 < t?
True
Suppose -1 - 47 = 2*b. Let z be (-16)/88 + -9*b/99. Let f be (5/(-2))/(1/2). Is z greater than f?
True
Let m(a) = -5*a**2 + 31*a - 9. Let f = 110 + -103. Let z be m(f). Which is smaller: z or -36?
z
Let r be 1/3*-11 - (-91044)/24300. Let m = 1 - 0. Is r bigger than m?
False
Let n = 19821 + -19875.49. Is -3 at least n?
True
Let n = -70 - -72. Let u(l) = -l**2 + 8*l + 8. Let i be u(8). Suppose 0 = -i*x + n*x + 3*x. Do -15 and x have the same value?
False
Let i(y) = -y**2 - y + 1. Let w(l) = 4*l**2 + 4*l - 15. Let a(j) = -3*i(j) - w(j). Let c be a(4). Let t be ((-6)/14)/(1*1/c). Is 0 > t?
False
Suppose 4616 = -5*j - 1029. Let s = j + 5674/5. Is 7 >= s?
True
Let g = -3/3004 + -5963/45060. Is g < -133?
False
Suppose -599*i = -602*i + 6. Let m be (-180)/(-150) + 16/(-5) + i. Which is smaller: -4/153 or m?
-4/153
Let d = 1759 - 1758.81. Does d = 115?
False
Let q be (230/30 - -1)/(2/3). Let h be 2 + q/(-5) + (-3159)/(-65). Which is smaller: h or -2?
-2
Let u(i) = 4*i + 40. Let f be u(0). Suppose f = -5*w - 3*o, 0 = w + 5*o + 11 - 3. Are w and -33/5 equal?
False
Suppose -22*x - 155 = 21. Let c be 56/x - (-56)/7. Which is smaller: -7/69 or c?
-7/69
Let c = 43530 + -30477. Which is smaller: c or 0?
0
Let k(p) = 10*p - 34. Let m be (-48)/(-10) - (-88)/(-110). Let g be k(m). Are g and -2 non-equal?
True
Let k = -545 + 569.36. Is 0 > k?
False
Let c = 528537925/8163 - 64748. Which is bigger: c or 0?
c
Let t(a) = 5*a**2 - 11*a + 18. Let q(g) = 9*g**2 - 23*g + 35. Let w(f) = 4*q(f) - 7*t(f). Let r be w(15). Let h = r - 22. Is h < -8?
False
Let b(a) = -a**2 - a + 2. Suppose 3*k + 7 - 1 = -3*d, 0 = -3*k - 6. Let j be b(d). Let s be j - ((-32)/15)/(36/150). Which is smaller: 10 or s?
10
Let v(x) be the first derivative of -x**2 + 14*x - 1. Let j be v(7). Let z be (-1)/(-2)*(j + (1 - -1)). Which is smaller: z or -1/30?
-1/30
Let p = 23.16 + -26.42. Is p less than -2/3?
True
Let t = 0.00124 + 414.79876. Let i = t - 490. Let u = -75 - i. Which is greater: u or -26?
u
Let i = -89384/4697 + -26/427. Which is smaller: 8 or i?
i
Let n = -12140/3 - -4047. Which is smaller: n or 1855?
n
Let p = -4464 - -4476. Which is greater: 286/23 or p?
286/23
Let o be 3/(-5) + 8/5 - -44. Let j = 46 - o. Let y(g) = -3*g + 1. Let f be y(j). Is f less than -13/7?
True
Let h = -1599281/47 + 34030. Are 3 and h non-equal?
True
Let k(v) = -1118*v - 1199. Let t be k(-1). Which is smaller: -0.3 or t?
t
Let r(s) = s**3 - 57*s**2 - 308*s - 194. Let y be r(62). Is -549/8 <= y?
False
Let q = -258.2 + 272.2. Which is smaller: -12 or q?
-12
Let w = 448 + -452. Let g be w/16 - (-535)/(-120) - -5. Which is greater: g or 1?
1
Let z be (-7 - 7 - -13) + 0. Is z at most as big as 3/1093?
True
Let b(y) = -36*y - 168. Let a be b(-5). Let p be 4 - -1 - 3 - 40/a. Is p <= -3?
False
Let o = -2 + 2. Let i = -5 - o. Suppose 1874*d = -1144*d - 21126. Is d at least as big as i?
False
Let l = -6768 + 6705. Is -566/9 smaller than l?
False
Let p be 1848/(-231) - 243/(-30). Which is smaller: 392 or p?
p
Let f be ((-4)/3)/(8 - (-5580)/(-702)). Which is smaller: -20 or f?
f
Suppose 0 = 4*v + 16, -3*i + 2*v - 365 = -2*v. Let g = i - -125. Which is smaller: g or 32?
g
Let q = 19471 - 19472. Which is greater: -23209 or q?
q
Let g be (1476/90)/((-1)/(-5)). Let h = 82 - g. Suppose -3*l - 2*p + 38 = h, 4*p - 3*p - 1 = 0. Do l and 11 have the same value?
False
Suppose 14*u - 128 = 26. Let w be 2/u + 13734/(-154). Let a = w + 67. Is a at least -22?
True
Let a = 10739 + -10738.9438. Is a greater than or equal to 14?
False
Let m = -163 + 115. Let g = m - -37. Let p be 2*(-14 + 0)*g/55. Which is greater: 7 or p?
7
Let b = -77.7112 - 1.2888. Which is bigger: -5/9 or b?
-5/9
Let d = 15893 - 1001288/63. Are d and 1/4 nonequal?
True
Let s = 62 - 222. Let a be -1 + -1 + (-7904)/s. Which is bigger: 48 or a?
48
Let d be ((-2958)/119)/((-27)/126). Let u be (7/(-2))/((-1)/30). Let z = 221 - u. Are d and z equal?
True
Let s be -142 - -146 - 4784/21. Which is bigger: -225 or s?
s
Let i be (-8)/52 + 40868/262769. Is -1 <= i?
True
Let p be (1/4)/(90/(-173160)). Is -485 greater than p?
False
Let t be (19/5 - 4)/(119/(-170)). Is t < 2680?
True
Suppose 3*u = 4*k - 3503, 2*k - 5*u = 389 + 1352. Which is smaller: 2635/3 or k?
k
Let g = 22821 + -22818.29. Let r = -1/17 - -20/51. Are r and g nonequal?
True
Let s = 20655.03 - 20656. Which is greater: s or -54?
s
Let n = 30200 - 30513. Is n > -13?
False
Let a be ((-1735)/3470)/(2/(-4) + 1). Let w = 5405/3 + -37187/21. Let t = w - 31. Is t at least as big as a?
True
Let k(f) = 257*f - 8372. Let d be k(77). Which is smaller: 11416 or d?
11416
Let w be (-2)/(-2*1/(-3)). Let h = w + 5. Let z be 16/44 - (4320/(-220) - -15). Which is bigger: z or h?
z
Let y = 27.23 - -0.77. Let a = 38 + -23. Let r = y - a. Which is bigger: r or 0?
r
Let n be 12/66 - (-21456)/(-33). Let k be (15 - 18) + n/(-218). Let j(b) = 4*b**2 + 66*b - 34. Let l be j(-17). Do l and k have the same value?
False
Let k be (-1*(-1)/4)/((-140)/(-2352)). Let p = -73/15 + k. Which is smaller: p or -11?
-11
Suppose -225*g = -30353 - 1597. Which is smaller: g or 140?
140
Let g = 1097/2 + -7747/14. Let k = -17 - -25. Let z be k/(-3)*6/4. Is z < g?
False
Let j be 52/9 + (-3 - -3). Let q = 43262 + -43261. Which is smaller: q or j?
q
Suppose 0 = 593*d - 586*d + 7. Let w be (-35)/20 - (-1)/(-4). Let i be 7/5*2/w. Which is greater: i or d?
d
Let x be (5 - (-104)/(-16))/(3462/696 + -5). Is -14 at least as big as x?
False
Suppose -4*d + 5*i = 10, -5*d - i - 3 = -5. Suppose -15 = 3*o, d = -4*s - 4*o - 0 - 16. Are s and 2/527 nonequal?
True
Suppose -5*c = g - 22, -c - 2*c + 4*g + 27 = 0. Suppose c*v - 2*v + 3 = 0. Let z be (-16)/(-72) - 0/(-2)*v. Is z < 0.1?
False
Let d(p) = p**2 - 2*p + 2. Let f be d(6). Suppose -f*y = 157 + 129. Is y > -11?
False
Let k = 1.92 + 2.08. Let q be (-2 - 2) + (-1482)/(-15). Let x = -94 + q. Which is smaller: x or k?
x
Let q = -0.0267171 - 6.9732829. Let y be 1*-1 + 4/3. Which is greater: y or q?
y
Let f = 4176 + -3540. Is f