3)/g) + -3. Is 212/7 greater than d?
True
Let g be 16/100*31/(-62). Which is greater: 55 or g?
55
Let j = 102815/6 - 17199. Is j at least as big as -62?
False
Suppose 5*g - 5*r + 20 = 0, -35*r = -2*g - 36*r + 4. Is g <= -50/107?
False
Suppose 0 = -5*t + 5*k + 75, t + 3 = -0*t - 5*k. Let h be 2/4*t/(0 + -6). Let w be (2/8)/(19/(-4)). Is h bigger than w?
False
Let y be (93 - 92)*(-4 + 3). Is -13/196 bigger than y?
True
Let y = -0.035 - 0.735. Let x = y + 0.87. Is 0.214 greater than x?
True
Let l = 219689/45 - 4882. Which is bigger: -27 or l?
l
Let o = -1 - -28. Let b = o - 21. Let i(h) = h - 33. Let g be i(b). Which is smaller: -1/3 or g?
g
Let w(p) = 7*p**3 + 26*p**2 - 30*p - 86. Let y be w(-4). Let x = 16 - 9. Which is smaller: y or x?
y
Suppose s - 22 = -19. Suppose 0 = -2*u - s*u - 8*u. Let m be (-1 + (-9)/(-6))*u. Which is greater: -2/119 or m?
m
Let a = 5110 + -1167. Are 3942 and a nonequal?
True
Let k = -18/1159 + 1556573/2318. Which is greater: 672 or k?
672
Suppose -15*f - 33 = 18*f. Let k be 0*((-21)/6 + (2 - f)). Which is smaller: k or 7/47?
k
Let c be (-13 - -9) + (-110)/10. Let b be (-3)/((-12)/(-352)*6). Which is smaller: b or c?
c
Let c(g) = 799*g**2 + g + 1. Let o be c(1). Suppose o = 11*h + 218. Which is greater: 1 or h?
h
Let z be ((-162)/(-297))/((-360)/(-332442)). Which is bigger: 503 or z?
z
Let c = -3.28 - -3.198. Let i = 0.918 - c. Which is smaller: i or 9?
i
Suppose -5*a - 7 - 25 = -4*n, -a + 2*n - 4 = 0. Let d be (-12 + 2 - a) + (-1205)/(-602). Which is bigger: d or 0?
d
Let r = 3297 - 3709. Which is bigger: -414 or r?
r
Let n = -3605 + 3460. Which is smaller: n or -149?
-149
Let f be 1 + (12/(-4) - 219/(-108)). Let n = -77/180 + f. Is 1 > n?
True
Let b be ((-3)/(-639))/(-2 - 526/12 - -8). Which is bigger: 1 or b?
1
Let p = -3283 - -3185. Which is smaller: p or -96?
p
Let c = 391999/36 + -10889. Suppose -4*s + s = -3. Is s greater than c?
True
Let p be (-2)/10 + (-5032)/(-85). Suppose -55*n - 172 = -p*n. Is 37 greater than n?
False
Suppose -4*w = -4*q + 224, -3*q + 30 = -w - 134. Let g = q + -125. Let c = -357/5 - g. Which is smaller: c or 3?
c
Suppose 0*t - t - 1 = 0. Let b = 91/4 + -179/8. Let c = -5/8 + b. Do c and t have the same value?
False
Let h(g) = 11*g + 35. Let d be h(-3). Suppose -d*f + 174 = 4*m - 316, -m + 3*f + 105 = 0. Is m greater than or equal to 1?
True
Suppose 4892 = -962*f - 1409*f - 35415. Suppose -49 = 5*q + 3*l + 20, -65 = 5*q + 5*l. Which is greater: q or f?
q
Let s = -226704/1577 - -2730/19. Let h = 3529 + -3529. Is s > h?
False
Let x = -58683 - -11442316/195. Let a = 14/195 + x. Is a less than or equal to -3?
True
Let d = -21.3 + 23. Let q = d - -26.3. Let y be ((-8)/36*12/16)/((-3)/(-12)). Which is greater: q or y?
q
Suppose 7 = -i + 5*t, i = -i - 5*t + 16. Let u(b) = -b**2 - 13*b - 38. Suppose 53 - 17 = -6*g. Let c be u(g). Is c at most i?
False
Let j = -1792 - -1035. Let r = j + 3726/5. Let h = -43 + 31. Are r and h equal?
False
Let x be (32 + -15 + -51)*53/2. Is -899 greater than or equal to x?
True
Let n = -10 - -10. Suppose 0 = -4*j - 12, n = -2*c + 4*j - j + 119. Let g = c - 55. Which is greater: -1/61 or g?
g
Suppose 0 = 2*q - 10*c + 7*c - 37, -4*q + 4*c = -60. Let j be 526/77 + 2/(-7). Which is greater: j or q?
q
Let o be 3*-1 + 34*((-2508)/(-24))/(-19). Which is bigger: -1334/7 or o?
o
Let h be 38*((-10)/240*15)/(1/(-8)). Is 175 > h?
False
Suppose 4*n - 41 = -38*r + 33*r, 36 = 4*r + 4*n. Let c be (15/30)/(r/(-3)). Which is smaller: -15 or c?
-15
Suppose -j - 36*g = -35*g, -5*g - 2 = 4*j. Let d = 4.7 - 0.7. Let u = d + -6. Is j at least as big as u?
True
Let q = 88534 + -88534. Let x = -1117/10 + 111. Which is smaller: x or q?
x
Suppose 8*q = 23*q - 105. Suppose 19*v + 15*v = 170. Which is bigger: v or q?
q
Let h = 0.01 + 0.71. Let t = h + -0.7. Suppose -4*f = -g - 2 + 1, -f = 0. Which is smaller: g or t?
g
Suppose 5*t - 69 = 4*t. Suppose -4*n - k = -1902, -2*n + 4*k = 3*k - 954. Suppose -11*i + 4*i + n = 0. Which is bigger: i or t?
t
Suppose -921*d + 886*d + 13254 = 52839. Is -1135 less than or equal to d?
True
Suppose 0*l = -l + 24. Suppose l = 2*s - 6*s. Let n be 2/(-3)*(18/(-4) + s). Is 5 greater than n?
False
Let z be (-7)/4 + 27/(-108). Is -1925 at most as big as z?
True
Let t be ((-2)/(1206 + -18))/(1*-2). Let y = -2357/22572 - t. Which is smaller: -0.45 or y?
-0.45
Let u = -19313/4 + 4869. Let a be (-8206)/200 + (-7)/420*-12. Let m = a + u. Is m > -1?
True
Let h = 5 - 9. Let w = 18 - 14. Suppose -w*c = -3 + 19. Is h bigger than c?
False
Let s be -7 - 842/6 - (-1)/3. Let b = s + 148. Let z = 51/20 - 9/5. Which is smaller: z or b?
z
Let f = -5359 - -4315. Is -1044 >= f?
True
Suppose -52*l + 149*l - 150 = 2275. Is 105/4 at least l?
True
Let n = 480 + -451. Suppose 0 = -2*w - 0*w + 3*d + 27, -d = -2*w + n. Which is greater: w or 49/3?
49/3
Let z be (-14724)/58512 + (-14)/8 + 2. Which is smaller: z or -1?
-1
Let s be (0 - -1)*(-2)/28. Let k = 264085 - 264086. Which is greater: s or k?
s
Suppose -m - 64 = o, 5*o + 2*m + 273 + 56 = 0. Let n = -63 - o. Let j be (n/6)/((-12)/81*39). Which is smaller: 0 or j?
j
Suppose -80*k + 90*k + 20 = 0. Let o be ((-580)/40)/(1/k). Is 28 at least o?
False
Let t = 135.3 - 3.3. Let k = t - 239. Is -1 smaller than k?
False
Suppose -90*y + 12732 + 5178 = 0. Is 193 less than or equal to y?
True
Let g be (-40)/12*-3 - 3. Let f = -4 + g. Let a = 888 + -892. Which is smaller: a or f?
a
Suppose -4*n = -6*p + 3*p + 14, -5*n = 3*p + 4. Let m = -18 + n. Which is bigger: m or -21?
m
Let h be -14*20/24*-3. Suppose 0 = -6*y - h - 175. Which is smaller: -33 or y?
y
Let z be 1/(-3) - (-4 - 42/(-9)). Is z < -1/3843?
True
Let o = -118721 - -118698. Let u = -64 + 41. Is u >= o?
True
Let q = 932 + -931.9. Are -3421 and q non-equal?
True
Suppose 29 + 31 = 5*x - 2*f, 3*x = 5*f + 55. Suppose 0 = -x*b + 13*b. Suppose b = 3*w - 0 - 3. Is w > 1/3?
True
Suppose -6272*n = -6275*n + 3. Is -35/341 at least as big as n?
False
Let u = -1059 - -1261. Which is smaller: u or 199?
199
Suppose 35 - 5 = 5*l. Let v(c) = -18*c + 134. Let p be v(7). Suppose -p = 3*x + 2*a, x + l = -x - 2*a. Which is greater: -16 or x?
x
Let i = 7 + -7.2. Let q = i + 2.2. Let m = -1.80117 + -0.19883. Is m <= q?
True
Suppose 4*w - 28 + 148 = 0. Let n be ((-10)/(-40))/((-1)/w). Let x be (8 - 0/1) + 1. Is x at most n?
False
Let u = 20.3 + -42.9. Let h = -20.6 - u. Is h at most -10/3?
False
Let l = 171 + -68. Suppose 4*q - x = 92 - 13, -l = -5*q - 3*x. Suppose -g = 4*k - q, 2*g + 17 = 3*g + 3*k. Which is smaller: g or -1?
-1
Let v = 158994 - 1429532/9. Which is smaller: 158 or v?
v
Let l(x) = 12*x**3 + 62*x**2 - 3*x + 3. Let o be l(-5). Let v be (o/(-1))/(12 - 14/1). Let y be 2/(-5) - (-4)/10. Which is smaller: v or y?
y
Suppose -2*d - 6 = u, 0 = u + 4*d - 3*d + 2. Suppose o + 0*x + 109 = -5*x, -u*o - 212 = 4*x. Is o at least as big as -107?
True
Let o(s) = s**2 - 5*s + 3. Let g be o(4). Let f = -2299/229620 + 7/860. Which is smaller: f or g?
g
Let g = 3074 + -51826/17. Let u = -32985/1292 + g. Is 1 at most u?
False
Suppose 16*a - 4 = 20*a, 0 = 5*f + 2*a - 1363. Which is smaller: 277 or f?
f
Let a = 10/183 + -4076/915. Let b = -2454/11 + 224. Let v = 28/55 - b. Which is greater: a or v?
v
Suppose 2*s = -2*c + 178, 5*c + 11 + 9 = 0. Let x be (-40)/15*s/(-12). Which is smaller: 20 or x?
20
Let w = 3268/25 + -3288/25. Which is greater: -12/19 or w?
-12/19
Let h be 0 + -1 - (-9)/(-18)*-34. Is 15 greater than h?
False
Let r = -26051 - -26087. Is r >= 109?
False
Let r = 11 + -23. Suppose -17765*m - 702 = -17711*m. Which is greater: r or m?
r
Let q be 18/81 + (-34834)/134640. Let y = q - -1052647/815320. Let o = y + -1/218. Which is bigger: o or 0?
o
Let i = -1364 + 1367.4. Let h = -13 - -10.4. Let q = i - h. Are -1 and q unequal?
True
Let d be (-20472)/22 + 24/44 - (6 + -8). Are -929 and d nonequal?
True
Let r = 300.1 + -303. Let i = 22.9 + r. Is -1/3 less than i?
True
Let c(v) = v**3 - v**2 + v. Let h be c(1). Suppose -5*w - 21 = 3*i + 2, -5*w - h = i. Let a = 41 - 54. Which is greater: a or i?
i
Let g = 2.9 - 3. Let v = 757.1285 + -0.1285. Let k = v - 757.02. Is k equal to g?
False
Suppose 2*r - 20 = -j + r, -r = 4. Suppose 9652 = -687*v + 1195*v. Does v = j?
False
Let b(t) = -39*t**2 - 32*t + 7. Let c be b(-1).